https://bugs.kde.org/show_bug.cgi?id=338901
Kurt Hindenburg <khindenb...@kde.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Latest Commit| |https://invent.kde.org/util
| |ities/konsole/-/commit/d075
| |4cc3e46f35feb3a3891caa7a15b
| |e5c01fbca
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #4 from Kurt Hindenburg <khindenb...@kde.org> ---
Git commit d0754cc3e46f35feb3a3891caa7a15be5c01fbca by Kurt Hindenburg, on
behalf of Theodore Wang.
Committed on 17/07/2024 at 15:43.
Pushed by hindenburg into branch 'master'.
Add functionality for markers on scrollbar
Users can add markers to the scrollbar by double clicking on the
scrollbar. A user can remove a marker by double clicking on it again.
The position of the marker is stored internally as a percentage offset
of the scrollbar's length and is not attached to any line of output.
This means that on resize, a scrollbar marker originally created at
x percentile of the scrollbar's length from the top will still remain
at x percentile of the scrollbar's length from the top.
In the "Scrolling" tab in the settings, there are options for the
user to change the color of the markers and the size of the markers.
The size of the marker can be specified as a floating point number,
representing the percentage of the entire scrollbar's length it occupies.
GUI:
M +2 -0 src/profile/Profile.cpp
M +6 -0 src/profile/Profile.h
M +3 -0 src/terminalDisplay/TerminalDisplay.cpp
M +146 -0 src/terminalDisplay/TerminalScrollBar.cpp
M +50 -0 src/terminalDisplay/TerminalScrollBar.h
M +18 -0 src/widgets/EditProfileDialog.cpp
M +3 -0 src/widgets/EditProfileDialog.h
M +34 -0 src/widgets/EditProfileScrollingPage.ui
https://invent.kde.org/utilities/konsole/-/commit/d0754cc3e46f35feb3a3891caa7a15be5c01fbca
--
You are receiving this mail because:
You are watching all bug changes.
