From 7a09e9ca7ea9476d5a6f58fc595e1bd65c770aef Mon Sep 17 00:00:00 2001
From: milovann <mil01@free.fr>
Date: Tue, 9 Apr 2024 16:01:03 +0200
Subject: [PATCH] [SLOYD] Playground add header

---
 templates/playground/header.tmpl      | 13 +++++++++++++
 templates/playground/playground.tmpl  |  3 +++
 templates/playground/repl-iframe.tmpl |  4 +++-
 3 files changed, 19 insertions(+), 1 deletion(-)
 create mode 100644 templates/playground/header.tmpl

diff --git a/templates/playground/header.tmpl b/templates/playground/header.tmpl
new file mode 100644
index 0000000000..8a593c9266
--- /dev/null
+++ b/templates/playground/header.tmpl
@@ -0,0 +1,13 @@
+<div class="secondary-nav">
+	<overflow-menu class="ui container secondary pointing tabular top attached borderless menu tw-pt-0 tw-my-0">
+			<div class="overflow-menu-items">
+					<a class="{{if .IsRepoFlagsPage}}active {{end}}item" href="{{AppSubUrl}}/playground">
+						{{svg "octicon-stack"}} Playground
+					</a>
+					<a class="{{if .IsRepoFlagsPage}}active {{end}}item" href="{{AppSubUrl}}/playground/repl-iframe">
+						{{svg "octicon-terminal"}} Repl
+					</a>
+			</div>
+
+	</overflow-menu>
+</div>
diff --git a/templates/playground/playground.tmpl b/templates/playground/playground.tmpl
index 183e31d213..053bd95e39 100644
--- a/templates/playground/playground.tmpl
+++ b/templates/playground/playground.tmpl
@@ -1,4 +1,7 @@
 {{template "base/head" .}}
+
+{{template "playground/header" .}}
+
 {{if .IsSigned}}
 User : 	{{.UserName}}
 {{else}}
diff --git a/templates/playground/repl-iframe.tmpl b/templates/playground/repl-iframe.tmpl
index 09c8362011..ddb01a7dde 100644
--- a/templates/playground/repl-iframe.tmpl
+++ b/templates/playground/repl-iframe.tmpl
@@ -1,10 +1,12 @@
 
 {{template "base/head" .}}
 
+{{template "playground/header" .}}
+
 <iframe
   src="https://jupyterlite.github.io/demo/repl/index.html?kernel=python"
   width="100%"
-  height="100%"
+  height="97%"
 ></iframe>