|
app
|
extracted focus manager
|
2019-10-12 12:26:22 +02:00 |
|
browser
|
extracted focus manager
|
2019-10-12 12:26:22 +02:00 |
|
format
|
#1307: option to disable Markdown support
|
2019-10-17 19:13:11 +02:00 |
|
launcher
|
fix #1334: saving new files not working
|
2019-11-06 19:46:17 +01:00 |
|
settings
|
less underscore
|
2019-09-17 23:44:17 +02:00 |
|
ui
|
less underscore
|
2019-09-17 23:44:17 +02:00 |
