diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-13 10:07:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-13 10:07:58 +0200 |
| commit | 006df1f2bcdf6333ab76a7ab188b038f0dd1b9a1 (patch) | |
| tree | 7ab5dbf56ac51874fbaa7ad5561252a8f04a47ca /servers/visual | |
| parent | 6effe33bba25770c2b16c50ee037aef4194f0a2a (diff) | |
| parent | c9bc807ce46361e6cf0953ecc30a599646e2947b (diff) | |
Merge pull request #29636 from Calinou/project-manager-dim-window-quitting
Dim the project manager window while it's quitting
Diffstat (limited to 'servers/visual')
0 files changed, 0 insertions, 0 deletions