Iris Morelle edd14a7233

gui/preferences: Clarify themes tooltip ...

Mentions that additional themes may be provided by add-ons.

2023-06-10 16:38:02 -04:00

..

macros

Don't allow markup in achievement titles.

2023-05-06 14:45:40 -04:00

widget

gui: Use true labelless checkboxes in the dropdown menu implementation

2023-05-22 03:45:23 -04:00

window

gui/preferences: Clarify themes tooltip

2023-06-10 16:38:02 -04:00

_main.cfg

…

default.cfg

…