9 Commits

Author	SHA1	Message	Date
FrHun	c79e3e5a8b	Applications: Make settings outer margins and spacing consistent	2022-07-15 12:34:25 +02:00
Idan Horowitz	c8ab45e79f	Userland: Run gml-format ... This brings the existing GML files up to spec with the new requirements	2022-02-13 02:36:35 +02:00
kleines Filmröllchen	6ee597369d	Meta+Userland: Run the GML formatter on CI and pre-commit ... Now that the GML formatter is both perserving comments and also mostly agrees to the existing GML style, it can be used to auto-format all the GML files in the system. This commit does not only contain the scripts for running the formatting on CI and the pre-commit hook, but also initially formats all the existing GML files so that the hook is successfull.	2022-02-07 18:39:50 +01:00
Dylan Katz	3ee32b6dbf	MouseSettings: Set icons from GML	2022-01-29 13:45:34 +01:00
Timothy Flynn	cfd1755910	MouseSettings: Use standard text placement for check box text	2022-01-28 13:20:19 +01:00
Sam Atkins	9fc53017c6	MouseSettings: Adjust layout so mouse-button image is no longer clipped	2021-11-20 21:05:20 +00:00
FrHun	54605794f9	Applications: Remove border from GroupBox margins	2021-11-03 16:13:19 +01:00
Andrew Pardoe	0e68550c05	MouseSettings: Add option to reverse buttons ... Add option to reverse primary and secondary buttons in Mouse Settings. - WindowServer.ini: add default entry - switch-mouse-buttons.png: new icon for settings entry - Mouse.gml/MouseWidget.*: new settings dialog - ClientConnection/WindowManager/Server: window message for settings - EventLoop.cpp: swap buttons 1 and 2 if settings are on	2021-10-25 19:20:33 +03:00
Maciej Zygmanowski	42df4fb2df	MouseSettings: Add a tab to change cursor theme	2021-08-23 01:41:53 +02:00