Guldoman 50acf2e7e6 Fix keeping scroll position when restoring a `DocView` (#910) ... Since 5526041da3 we check a pair of line&column to decide if we should scroll to the cursor. Previously we only considered a single line&column.		2022-04-03 16:24:39 -04:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	syntax: remove pattern re-ordering on optimization	2022-03-29 22:11:14 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Fix keeping scroll position when restoring a `DocView` (#910)	2022-04-03 16:24:39 -04:00