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 /thirdparty/libwebsockets/roles | |
| 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 'thirdparty/libwebsockets/roles')
0 files changed, 0 insertions, 0 deletions