Thaddeus Crews 31867abdaa Merge pull request #112545 from timothyqiu/compact-menu-gutter ... PopupMenu: Add theme option for merging icon and checkbox gutters		2025-11-10 08:20:02 -06:00
..
classes	Merge pull request #112545 from timothyqiu/compact-menu-gutter	2025-11-10 08:20:02 -06:00
tools	makerst: Skip generated header for translations	2025-09-30 13:32:46 +02:00
translations	i18n: Sync translations with Weblate	2025-09-30 13:32:35 +02:00
Doxyfile	…
Makefile	…
class.xsd	…