Skip to content
GitLab
Explore
Sign in
Change log scrolling to per-pixel
Code
Review changes
Check out branch
Download
Patches
Plain diff
Peter Albrecht
requested to merge
feature/pixelwiseLogScrolling
into
master
Jan 12, 2024
Overview
1
Commits
2
Pipelines
1
Changes
2
Expand
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