Merge pull request #2321 from sensei-hacker/scrol_options_tab

mmosca · web-flow · commit 21280f2b1eff · 2025-01-27T11:14:01.000+01:00
allow options tab to scroll
diff --git a/src/css/main.css b/src/css/main.css
@@ -512,6 +512,8 @@ input[type="number"]::-webkit-inner-spin-button {
     background-color: white;
     border-radius: 5px;
     z-index: 10000;
+    max-height: 90%;
+    overflow-y: auto;
 }
 
 /* options modified GUI BOX */
@@ -1993,7 +1995,6 @@ dialog {
         height: 24px;
         padding-bottom: 0;
         margin-bottom: 5px;
-        float: left;
     }
 
     .spacer_box_title {

Original file line number	Diff line number	Diff line change
`@@ -512,6 +512,8 @@ input[type="number"]::-webkit-inner-spin-button {`
`512`	`512`	`background-color: white;`
`513`	`513`	`border-radius: 5px;`
`514`	`514`	`z-index: 10000;`
	`515`	`+ max-height: 90%;`
	`516`	`+ overflow-y: auto;`
`515`	`517`	`}`
`516`	`518`
`517`	`519`	`/* options modified GUI BOX */`
`@@ -1993,7 +1995,6 @@ dialog {`
`1993`	`1995`	`height: 24px;`
`1994`	`1996`	`padding-bottom: 0;`
`1995`	`1997`	`margin-bottom: 5px;`
`1996`		`- float: left;`
`1997`	`1998`	`}`
`1998`	`1999`
`1999`	`2000`	`.spacer_box_title {`