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/visual/visual_server_scene.h | |
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/visual/visual_server_scene.h')
0 files changed, 0 insertions, 0 deletions