|
|
bc8f9b006d
|
store font size in settings file
|
2021-10-29 09:21:46 +02:00 |
|
|
|
02f1ce3af9
|
move font size update to settings class
|
2021-10-28 09:44:44 +02:00 |
|
|
|
f42ff06ce8
|
use wheel + ctrl to change font size
|
2021-10-28 09:40:40 +02:00 |
|
|
|
95d43e08f1
|
change font size
|
2021-10-25 19:31:28 +02:00 |
|
|
|
eab422a6ce
|
improve highlighting
|
2021-10-24 18:49:47 +02:00 |
|
