godotengine / godotengine/godot
Unnecessary margin in docks?
- Dominant language
- C++
- Stars
- 117k
- Forks
- 26.8k
- PR merge metrics
- PR metrics pending
Description
### Tested versions
v4.3.dev3.official [36e943b6b]
### System information
w10 64
### Issue description
Is all this margin necessary without any use?
This means that you have to expand the dock further to the left, taking up more space in the editor because that margin remains there, for what reason?
The editor font is size 14 by default, I reduced it to 12
### Steps to reproduce
...
### Minimal reproduction project (MRP)
...
Contributor guide
Research direction
Start by reproducing the reported dock layout in Godot editor v4.3.dev3 on Windows 10 and compare it with the screenshot, since the issue names no files, tests, or entry points. Trace the editor dock layout to identify whether the visible margin is intentional; done means determining its purpose and removing it only if it is unnecessary without breaking dock sizing.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- design, desktop
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100