https://bugs.kde.org/show_bug.cgi?id=418948
Bug ID: 418948
Summary: Easier toggle for scroll bar mini-map
Product: kate
Version: 19.12.3
Platform: Other
OS: Linux
Status: REPORTED
Severity: normal
Priority: NOR
Component: kwrite
Assignee: kwrite-bugs-n...@kde.org
Reporter: benjamindai...@gmail.com
Target Milestone: ---
Should be a check box in the top level of the view menu to toggle this feature
on and off rather than needing to do it from the application settings
--
You are receiving this mail because:
You are watching all bug changes.
