mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-02-11 15:09:00 +01:00
33487ab5f2
This fixes changing the play/pause button's label depending on the emulation state. Before, wxToolBarToolBase's SetLabel() function was used. This function, however, is not implemented in wxGTK which leads to the label not changing on linux when the button is clicked. Although the preferred method (according to the wxWidgets documentation) to change the properties of a tool is to use the toolbar's setters, there is no such setter for the label. Therefore, this implements a workaround where the button is deleted and readded afterwards with the updated properties. Thanks to linkmauve for noticing this!