diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-05-08 14:35:29 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-05-08 14:35:29 +0200 |
| commit | 0fcd30180f95331b367e5dc6ab8141f04e00e55e (patch) | |
| tree | e446ebe9f22799ab6b7ce6c90ea87cc71df2ccc0 /doc/tools/doc_status.py | |
| parent | 2fb9da093b7484b46213f2282e7b7a707661bc89 (diff) | |
| parent | 1e206129403ef47da2c9251ce7e78a90bd923dab (diff) | |
| download | redot-engine-0fcd30180f95331b367e5dc6ab8141f04e00e55e.tar.gz | |
Merge pull request #91039 from timothyqiu/dock-icons
Allow setting editor dock tabs to icon only
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions