Steve Howell 0e7073ec29 Fix keyboard handling for info overlays. ...

For info overlays (keyboard/markdown/search help) we now let
the modal portions of the widget have focus, so that you can
page around.  And then tab switching still works with the arrow
keys.

2018-04-04 16:37:39 -07:00

4.7 KiB

Raw Blame History

View Raw