diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-06-09 22:33:50 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-06-09 22:48:12 +0200 |
| commit | c9bc807ce46361e6cf0953ecc30a599646e2947b (patch) | |
| tree | cc82a20e0832b8e66f553ac5744221e1e896d5b6 /servers/audio | |
| parent | 91b3daa8d619ec44f6d9aba1535698aa29ad2bf6 (diff) | |
Dim the project manager window while it's quitting
This makes it clearer that the project manager window is busy
while it's quitting (which can take a while on slower PCs).
This also makes it feel more responsive to user input.
Diffstat (limited to 'servers/audio')
0 files changed, 0 insertions, 0 deletions