Skip to content
GitLab
Explore
Sign in
Decrease top margin in SpaceDrawer
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carl Schwan
requested to merge
work/carl/decrease-top-margin-space
into
master
Sep 21, 2023
Overview
1
Commits
2
Pipelines
3
Changes
2
Expand
Make it the same as the left margin of the delegate for an increased consistency.
Merge request reports