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

72 KiB

Raw Blame History

View Raw