7 Commits

Author	SHA1	Message	Date
Karl Tauber	835a1f155b	ScrollBar: use rounded thumb also on Windows (as on macOS and Linux) and made thumb slightly darker/lighter (issue #918)	2025-03-23 13:01:15 +01:00
Karl Tauber	6f32236fb7	macOS: native rounded borders for popups (issue #715)	2023-12-09 16:12:35 +01:00
Karl Tauber	c25d857e78	UI defaults dumps updated on macOS for commits 9fef2f9d05 and ce527329a6	2023-12-08 19:07:32 +01:00
Karl Tauber	94f9e4a1be	fixed missing UI value MenuItem.acceleratorDelimiter on macOS (was null, is now an empty string)	2022-08-03 13:16:43 +02:00
Karl Tauber	f460ef7685	UI defaults dumps updated for commits b82ee2ef61 and 93e0496fd2	2022-07-09 10:19:54 +02:00
Karl Tauber	9ba008002b	Merge PR #396: Typography	2021-11-19 14:57:36 +01:00
Karl Tauber	5e03eb9b51	UIDefaultsDump: removed Java 8 patch version from dump file names	2021-10-28 21:01:16 +02:00