Guldoman 5d901732b8 Restore horizontal scroll position after scale change		2021-09-04 21:41:26 +02:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Check if session file returned anything	2021-09-04 00:32:01 +02:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Restore horizontal scroll position after scale change	2021-09-04 21:41:26 +02:00