From 05136e5dea165426275da6f58c70c9ea20ded1f8 Mon Sep 17 00:00:00 2001
From: Marc Durdin <marc@durdin.net>
Date: Fri, 23 Feb 2024 09:26:43 +0700
Subject: [PATCH] fix(developer): make sure scroll bar appears when needed in
 global welcome

Fixes #10817.

This fix is a patch rather than a rework to use grid or flex css, which
would be better, but should not be done in beta.
---
 developer/src/tike/xml/project/project.css | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/developer/src/tike/xml/project/project.css b/developer/src/tike/xml/project/project.css
index f47cbcf338..c9486e4ac6 100644
--- a/developer/src/tike/xml/project/project.css
+++ b/developer/src/tike/xml/project/project.css
@@ -121,7 +121,16 @@ table.io th {
   font: bold 8pt "Segoe UI"
 }
 
-.pages { overflow-y: auto; padding-top: 12px; width: 100%; height: 100% }
+.pages {
+  overflow-y: auto;
+  padding-top: 12px;
+  width: 100%;
+  height: 100%;
+}
+
+#globalwelcome .pages {
+  max-height: calc(100% - 213px); /* 213px is height of the pageheader 201px + 12px padding-top; TODO: rework as grid */
+}
 
 .checkbox { background-image: url("chk_checkbox.gif");}
 .checked { background-image: url("chk_checked.gif"); }
@@ -249,6 +258,7 @@ k\:menuitem.down {
   background: #6D6C6F;
   border: none;
   color: #dadddc;
+  height: 201px;
 }
 
 #globalwelcome #pageheader a {