-
David authored
On macOS Mojave only, those buttons are wrongly rendered (they look as they are disabled). If you touch those buttons, they look fine again. This is a quick workaround to fix the graphical appearance, but the underlying issue is not clear yet.
cb0b0fc8