diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-18 22:29:13 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-18 22:29:13 +0100 |
| commit | 825fd11d0cea3f4ea4e45938f544f105a6497091 (patch) | |
| tree | 7dd08a40e3bf41e5cd44f4934d2a76555184b635 /editor/code_editor.h | |
| parent | 35326d3dc5bfe8585b6fce5821a802dad9d4a2ad (diff) | |
| parent | 67baca551403698c207cbc2555588f3049121c36 (diff) | |
Merge pull request #71627 from KoBeWi/big_dock
Increase default size of docks
Diffstat (limited to 'editor/code_editor.h')
0 files changed, 0 insertions, 0 deletions