|
|
3d80640609
|
show file size and name in status bar
|
2021-10-31 17:55:00 +01:00 |
|
|
|
5b95c328d5
|
open files after the window has been opened
this way we can update the window title
|
2021-10-30 09:55:57 +02:00 |
|
|
|
99d9be795b
|
set window title to file name
|
2021-10-29 09:32:08 +02:00 |
|
|
|
bc8f9b006d
|
store font size in settings file
|
2021-10-29 09:21:46 +02:00 |
|
