|
core
|
fixed mixed indentation
|
2021-05-18 17:52:18 +02:00 |
|
fonts
|
Implement maximize/restore controls
|
2021-04-12 11:54:52 +02:00 |
|
plugins
|
Fix error with previous commit
|
2021-05-17 10:16:55 +02:00 |
|
user
|
Fix font size in initial user's config
|
2021-03-01 09:48:12 +01:00 |
