Kirill Bulatov
|
ce4edb3375
|
Fully revert the line height change
|
2023-07-20 15:39:22 +03:00 |
|
Mikayla Maki
|
5c35215148
|
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
|
a4879a3c2d
|
Avoid deserializing all themes to compute settings JSON schema
|
2023-07-14 14:29:22 -07:00 |
|
Mikayla Maki
|
3026e4e6c0
|
Add line height settings for the editor
|
2023-07-13 16:14:33 -07:00 |
|
Sergey Onufrienko
|
fe30c945da
|
chore: move schema gen to theme
|
2023-06-21 16:12:27 +02:00 |
|
Mikayla Maki
|
ac0a238257
|
Add JsonSchema to container style and fix compile errors
|
2023-06-19 11:31:17 -07:00 |
|
Sergey Onufrienko
|
636fdf0b3a
|
feat: export_schema
|
2023-06-16 21:38:06 +02:00 |
|
Sergey Onufrienko
|
771e410688
|
feat: add JsonSchema to Theme
|
2023-06-16 21:37:56 +02:00 |
|
Max Brunsfeld
|
01007a0c29
|
Clear buffer font size adjustments when buffer font size setting changes
|
2023-05-17 16:14:05 -07:00 |
|
Max Brunsfeld
|
5325aec94f
|
Move font size adjustment code to the theme crate
|
2023-05-17 15:56:32 -07:00 |
|
Max Brunsfeld
|
c261a01c7f
|
Define theme/ui text style settings in theme crate
|
2023-05-17 14:44:59 -07:00 |
|