diff options
| author | Enzo Nocera <32960642+AlmightyScientist@users.noreply.github.com> | 2017-12-24 00:59:51 +0100 |
|---|---|---|
| committer | Enzo Nocera <32960642+AlmightyScientist@users.noreply.github.com> | 2017-12-24 01:16:17 +0100 |
| commit | 6f3486c4866a0a0e0408c2e0dbd65f128995abf4 (patch) | |
| tree | 5daed57f3b51b6214206f2877e14c1f89309ed83 /editor/dictionary_property_edit.h | |
| parent | 9969c5c6a1cc103fb7b23c279b7fde0d92a5599a (diff) | |
x11: Fix maximized splash-boot screen bug.
Fixes #14336
Diffstat (limited to 'editor/dictionary_property_edit.h')
0 files changed, 0 insertions, 0 deletions