Change log scrolling to per-pixel
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Change log scrolling to per-pixel
Peter Albrecht
requested to merge
feature/pixelwiseLogScrolling
into
master
Jan 12, 2024
Overview
1
Commits
2
Pipelines
1
Changes
2
Change the scroll mode of the logging gui plugin to be per-pixel, as opposed to per-item.
Edited
Jan 22, 2024
by
Peter Albrecht
Merge request reports
Loading