tomasz1986andGitHub 95b3c26da7 gui: Prevent modifications when saving changes (fixes #9019) (#9063)

2023-08-31 17:11:03 +02:00

..

css

gui: Fix tooltips on buttons inside button groups (ref #7984) (#9008)

2023-07-27 14:38:48 +02:00

font

Add support for themes (fixes #1925)

2016-01-10 17:57:27 +00:00

img

assets, gui: Losslessly compress all JPG, PNG, and PDF images (#6265)

2020-01-16 13:52:43 +01:00

lang

gui: Prevent modifications when saving changes (fixes #9019) (#9063)

2023-08-31 17:11:03 +02:00