Hugo Locurcio c9bc807ce4
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.
2019-06-09 22:48:12 +02:00
..
2019-04-06 18:05:05 +02:00
2019-06-04 16:24:32 +02:00
2019-06-04 16:24:32 +02:00
2019-06-04 16:24:32 +02:00