diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-10-25 15:06:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-25 15:06:41 +0200 |
commit | ece9a0f40080e7e4f97733473ed7bddf846afa57 (patch) | |
tree | 991b9393d84a9d94724bbd17717cde3ce83a132f /modules/gdscript/gdscript.cpp | |
parent | 4eb9099df00c2d99781f261dfacd09c72e13a19a (diff) | |
parent | 6cf13e881c799d84f96587fea4267cd337c08f68 (diff) |
Merge pull request #23114 from groud/allow_smaller_dock_width
Allow the editor dock to have a lower width
Diffstat (limited to 'modules/gdscript/gdscript.cpp')
0 files changed, 0 insertions, 0 deletions