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 /platform/uwp/os_uwp.h | |
| 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 'platform/uwp/os_uwp.h')
0 files changed, 0 insertions, 0 deletions