Bugfix: Colour buttons in the Options boxes didn't work with some themes
tree849c306fe073f8939692950135ce2ab57523bda3
-rw-r--r-- 4594 .DirIcon
-rw-r--r-- 966 AppInfo.xml
-rwxr-xr-x 873 AppRun
drwxr-xr-x - Help
-rwxr-xr-x 1563 MakeDist
drwxr-xr-x - Messages
drwxr-xr-x - python