Version
4.0-9189
Branch
master
Date
8 years, 5 months ago
Android Ubuntu 15.04
Commit
23f6c645258bbd1811e56c06106f234fc7cc412f
Change author
Mathew Maidment
Change description
Merge pull request #3733 from EmptyChaos/wx-playbtn-fix

WXGUI: Fix disabled play button not fading