Guldoman d0a2c913f5 Pre-populate the highlighter ... This avoids problems with calls to `[insert,remove]_notify` on lines that the highlighter has not yet added.		2021-11-20 01:18:37 +01:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Pre-populate the highlighter	2021-11-20 01:18:37 +01:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	In `TreeView` set correct active `View` before opening new `DocView`	2021-11-07 23:12:03 +01:00