Guldoman 8a516d35ce Correctly identify the start of the next character in tokenizer ...

When moving to the next character, we have to consider that the current 
one might be multi-byte.

2021-10-11 22:37:31 +02:00

..

colors

Add textadept theme and correct language_lua just a bit

2021-08-11 23:33:00 +02:00

core

Correctly identify the start of the next character in tokenizer

2021-10-11 22:37:31 +02:00

fonts

Use FiraSans regular for UI

2021-05-27 13:49:33 +02:00

plugins

Use dmon events in reload plugin

2021-10-08 23:15:25 +02:00