diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-05-30 22:55:56 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-06-26 22:09:08 +0200 |
| commit | e6352d1daae4295e6f1ac6c9624e2d84fbc54f15 (patch) | |
| tree | 982a8ad7528dbde310894bd70b14722ba13b4a97 /editor/plugins | |
| parent | b740f645f7dab54db68a0c027be52b384fa8b687 (diff) | |
Keep the bottom panel visible when enabling the distraction-free mode
- Document the `EditorInterface.distraction_free_mode` property.
This closes https://github.com/godotengine/godot-proposals/issues/951.
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions