Antonio Scandurra 1aa1774688 Avoid auto-scrolling the editor when inserting/removing headers

2023-06-14 10:49:23 +02:00

..

diagnostics.rs

Avoid auto-scrolling the editor when inserting/removing headers

2023-06-14 10:49:23 +02:00

items.rs

Define theme/ui text style settings in theme crate

2023-05-17 14:44:59 -07:00