scrolling js-info help page

2021-06-22 Thread Per Bothner
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-0

Re: Fix js-info in iframe

2021-06-22 Thread Gavin Smith
On Tue, Jun 22, 2021 at 01:54:07PM -0700, Per Bothner wrote: > I tested out the js-info browser in a DomTerm browser window: > $ domterm --tab browser URL-TO-MANUAL > That failed, because domterm creates the requested browser window in an > iframe (interior frame). > Luckily the fix is easy: >

Fix js-info in iframe

2021-06-22 Thread Per Bothner
I tested out the js-info browser in a DomTerm browser window: $ domterm --tab browser URL-TO-MANUAL That failed, because domterm creates the requested browser window in an iframe (interior frame). Luckily the fix is easy: diff --git a/js/info.js b/js/info.js index 4198a9ec5c..e4c53700d2 1006