diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-07-05 09:44:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-05 09:44:43 +0200 |
commit | 133a07ed2dc148c7bde38884eea9f4d367510af8 (patch) | |
tree | b44e355df868130ac924f008632521b57c6c5cef /editor/icons/icon_array.svg | |
parent | c4016398200014e911759905991e333688ff0ffd (diff) | |
parent | 492c3196ae71218920c896f458d6501ad4cab54a (diff) |
Merge pull request #30327 from Calinou/editor-dim-window-quitting
Dim the editor window while it's quitting
Diffstat (limited to 'editor/icons/icon_array.svg')
0 files changed, 0 insertions, 0 deletions