Skip to content
GitLab
Explore
Sign in
Several GUI defaults updates
Code
Review changes
Check out branch
Download
Patches
Plain diff
Tarcisio Fischer
requested to merge
work/change-gui-defaults
into
master
Feb 05, 2024
Overview
11
Commits
11
Pipelines
5
Changes
16
Expand
Change default colours
Change default dock visibility
Change default options for GraphicsView
Change default plugin dock location
Always show plugins dock when they run
Merge request reports