core
|
Fix logical error in on_text_change
|
2021-04-06 08:26:53 +02:00 |
fonts
|
Fix missing info icon
|
2021-02-20 20:15:09 +01:00 |
plugins
|
Logical test simplification in detectindent
|
2021-04-06 08:27:35 +02:00 |
user
|
Fix font size in initial user's config
|
2021-03-01 09:48:12 +01:00 |