Verze
4.0-9189
Větev
master
Datum
před 8 lety, 7 měsíci
Android Ubuntu 15.04
Odevzdání
23f6c645258bbd1811e56c06106f234fc7cc412f
Autor změny
Mathew Maidment
Popis změny
Merge pull request #3733 from EmptyChaos/wx-playbtn-fix

WXGUI: Fix disabled play button not fading