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
Loading