Guldoman c70b5130a9 Improve drawwhitespace plugin ...

Add configuration options to specify:
- characters to substitute and their substitution;
- whether to substitute at the beginning, middle or end of the line;
- the color of the substitution;
- the color for the beginning, middle or end;
- the minimum number of white space to show in the middle.

2022-04-01 18:18:50 +02: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

Improve drawwhitespace plugin

2022-04-01 18:18:50 +02:00