lyx_mirror/development
Juergen Spitzmueller 087f6bce71 Introduce default box frame color (#12921)
This better aligns with dark mode
2023-09-30 09:56:27 +02:00
..
2023-09-27 13:42:40 -04:00
2023-01-12 19:22:12 -05:00
2023-09-19 01:10:57 +02:00
2023-07-27 00:45:01 +02:00
2022-12-14 18:24:38 +01:00