 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 |
|