11 commits

Author	SHA1	Message	Date
Kirill Bulatov	0237276557	Fully revert the line height change	2023-07-20 15:39:22 +03:00
Mikayla Maki	aa67413abc	Raise minimum line height to 1.1 ... Disable buffer_line_height setting in non-buffer editors	2023-07-19 16:55:28 -07:00
Max Brunsfeld	c69d0d50cd	Avoid deserializing all themes to compute settings JSON schema	2023-07-14 14:29:22 -07:00
Mikayla Maki	77c4fc98bd	Add line height settings for the editor	2023-07-13 16:14:33 -07:00
Sergey Onufrienko	01b9e88079	chore: move schema gen to theme	2023-06-21 16:12:27 +02:00
Mikayla Maki	193ad64d18	Add JsonSchema to container style and fix compile errors	2023-06-19 11:31:17 -07:00
Sergey Onufrienko	6d6b7020a0	feat: export_schema	2023-06-16 21:38:06 +02:00
Sergey Onufrienko	a87b39a2d1	feat: add JsonSchema to Theme	2023-06-16 21:37:56 +02:00
Max Brunsfeld	a56793c214	Clear buffer font size adjustments when buffer font size setting changes	2023-05-17 16:14:05 -07:00
Max Brunsfeld	42eca3048f	Move font size adjustment code to the theme crate	2023-05-17 15:56:32 -07:00
Max Brunsfeld	67a25126d4	Define theme/ui text style settings in theme crate	2023-05-17 14:44:59 -07:00