core
|
Fix indent spaces/tabs labeling
|
2021-02-20 22:56:52 +01:00 |
fonts
|
Fix missing info icon
|
2021-02-20 20:15:09 +01:00 |
plugins
|
Fix indent spaces/tabs labeling
|
2021-02-20 22:56:52 +01:00 |
user
|
Make code and ui font smaller at 12
|
2021-02-19 16:23:19 +01:00 |