David Giardi 9f1e18e64c Add theming support for hovered tabs ... Tabs can now be styled differently when hovered by the mouse pointer.		2023-04-19 01:38:09 +02:00
..
classes	Add theming support for hovered tabs	2023-04-19 01:38:09 +02:00
tools
translations	i18n: Sync translations with Weblate	2023-04-04 00:34:07 +02:00
class.xsd
Doxyfile
Makefile	Safeguard Makefile commands	2023-02-27 14:02:33 +01:00