Version
4.0-9189
Entwicklungszweig
master
Zeitpunkt
8 Jahre, 5 Monate her
Android Ubuntu 15.04
Commit
23f6c645258bbd1811e56c06106f234fc7cc412f
Author der Änderung
Mathew Maidment
Beschreibung der Änderung
Merge pull request #3733 from EmptyChaos/wx-playbtn-fix

WXGUI: Fix disabled play button not fading