Skip to content

Fix editor margins with modern theme and low spacing#120865

Draft
Kapparoti wants to merge 2 commits into
godotengine:masterfrom
Kapparoti:fix-editor-margins
Draft

Fix editor margins with modern theme and low spacing#120865
Kapparoti wants to merge 2 commits into
godotengine:masterfrom
Kapparoti:fix-editor-margins

Conversation

@Kapparoti

Copy link
Copy Markdown
Contributor

What problem(s) does this PR solve?

Fixes the editor settings shortcuts and the main docks.
It also aims to fix other wrong margins that i'm currently searching.

Additional information

Renaming:

I used names similar to already-present theme type variations, but i think that removing the repetitive "Horizontal" from every name, making it implicit, would be better.
In this way, only "Bottom" would have to be specified, to make names less verbose, more clear and reusable.

EditorSettingsDialog:

With spacing=0, the editor settings clip on the right and bottom sides. To avoid this, should a MarginContainer be added between the container and the SectionedInspector?

EditorSettings1 EditorSettings2

SceneTreeDock :

I also found that the SceneTreeDock vertical scroll is always detached from the border, while the horizontal one detaches as spacing increases. In other docks, such as the FileSystem, this overlapping is not present. Is this intended?

image image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant