nicm c29b41e527 Make pane scrollbars able to auto-hide after a short timeout. This ...

replaces the previous "modal" behaviour where the pane would be resized,
which tended to make a mess. Instead, the scrollbar appears when
scrolling or when hovered over with the mouse and disappears a
(configurable) short period later. From Michael Grant.

2026-06-29 07:45:09 +00:00

14 KiB

Raw Permalink Blame History

View Raw