 David Fuhrmann
|
f1a0e30c50
Only toggle the status label visibility if no animation is already pending
|
hace 11 años |
 Felix Paul Kühne
|
3e014f76f3
status label: fix flickering (close #10271)
|
hace 11 años |
|
Felix Paul Kühne
|
a0c320bdbd
Sources: put a proper copyright header including listings of individual contributors
|
hace 11 años |
|
Felix Paul Kühne
|
4505ad5a6a
Remove more code name occurences
|
hace 11 años |
|
Felix Paul Kühne
|
9f9f20360f
Replace remnants of the pre-release code name with the actual product name to avoid confusion
|
hace 11 años |
