Simon Hausmann ae2e0197f8 Deprecate the use of StyleMetrics for users of the public API (#4947)		2024-04-15 17:07:05 +02:00
..
pages	Fix gallery about and text edit page layouts	2024-03-28 11:21:06 +01:00
gallery_settings.slint	cleanup examples according to upcoming code guidelines (#3809)	2023-11-02 11:04:40 +01:00
side_bar.slint	Deprecate the use of StyleMetrics for users of the public API (#4947)	2024-04-15 17:07:05 +02:00