You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
- The code that automatically pads the bottom of the page so that the user is
still able to scroll down and see the bottom of the page even with the console
expanded now works on all pages (previously was only working correctly on
error pages).
- Improve keyboard shortcut handling for 'Home', 'End', 'Ctrl-P', 'Ctrl-N', and
'Ctrl-E'.
- 'Home' and 'End' go to beginning and end of line; 'Ctrl-E' end of line;
'Ctrl-P' and 'Ctrl-N' navigate forward and back through command history,
just like up and down arrows, to match default key mappings in bash.
- Add .moveToBeginning and .moveToEnd helper functions to the REPLConsole JS,
and use them in key input handlers to make them easier to read.
- Improve styling: font sizes and heights are in rems to adjust to font size in
browser; close button is a little bigger and offset from the right margin to
be more easily usable in browsers that render the scrollbar over the content.
(Some widgets in Gnome shell in Ubuntu do this, maybe others also.)
- Some small grammar and English usage fixes in comments and README.
Details:
- Add a container element around the web console so we can more easily add
padding to keep it from obscuring the page
- DRY the code that adds a margin to the bottom of the page so that user is
still able to scroll down and see the bottom of the page even with the console
expanded; make it so it works whenever the console is loaded, not just on
error pages.
- Remove the extra now-redundant code from the error_page.js.erb and
regular_page.js.erb; it now lives in main.js.erb.
- It wasn't actually working before on regular pages anyway.
- Change font sizes used in console from pixels to rems so they will auto-adjust
to font size used on the page. This also makes them just a little bigger by
default (unless the page font size is very small).
- Increase the size of the "close" button slightly so it is easier to hit with
the mouse, and also move it slightly away from the right side, so that it
doesn't render under the scrollbar on some browsers (usually on Linux, in my
experience; the default Gnome shell scrollbars in Ubuntu 20 made it very
hard to use).
- Add key handling for 'Home' and 'End' keys.
- Change Ctrl-E handler to move cursor to end of line, to match default bash
builtin key mappings.
- Add Ctrl-P and Ctrl-N handlers to navigate previous and next in command
history.
- Add .moveToBeginning and .moveToEnd helper functions to the REPLConsole JS,
and use them in key input handlers to make them easier to read.
- Fix grammar and English usage just a little bit in some comments and README.
0 commit comments