In the js-info reader, typing '?' brings up a page about "Keyboard Shortcuts".
Unfortunately, if the window height is too small, it is cut off and
there is no way to scroll it.
It was difficult to find a fix that didn't have glitches, but this seems to
work (tested in Chrome and Firefox):
2021-06-22 Per Bothner <[email protected]>
* js/info.css: Styling tweaks for js-info to make help scrollable.
diff --git a/js/info.css b/js/info.css
index d8d20e1723..14537b67ad 100644
--- a/js/info.css
+++ b/js/info.css
@@ -166,13 +166,12 @@ table#keyboard-shortcuts th {
display: none;
position: fixed;
z-index: 1;
- padding-top: 100px;
+ padding-top: 40px;
left: 25%;
top: 0;
+ bottom: 0px;
width: 75%;
- height: 100%;
- overflow: auto;
- background-color: rgb(0,0,0); /* Fallback color */
+ background-color: #888; /* Fallback color */
background-color: rgba(0,0,0,0.5); /* Black w/ opacity */
}
@@ -182,6 +181,8 @@ table#keyboard-shortcuts th {
margin: auto;
padding: 20px;
width: 80%;
+ max-height: 100%;
+ overflow-y: auto;
}
/*-------.
Not urgent, but probably worth checking in before the release.
--
--Per Bothner
[email protected] http://per.bothner.com/
