4157dd867c
plugin drawwhitespace: added config spec
2022-06-02 00:07:34 -04:00
59a5839ac9
Merge pull request #908 from Guldoman/PR_improve_whitespace
...
Improve `drawwhitespace` plugin
2022-06-01 21:59:45 -04:00
2d8a15f3ab
plugins: dropped --lite-xl version tag
2022-05-31 16:34:14 -04:00
93b31211cb
Apply `drawwhitespace` plugin only to `DocView`s
2022-04-12 04:05:59 +02:00
45a0382d50
Bumping version numbers.
2022-04-03 16:44:02 -04:00
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
3162f4ea4f
Added in the ability to specify a color for whitespace.
2021-11-23 18:42:01 -05:00
6a7a02542f
Draw only visible whitespaces
2021-11-17 02:57:14 +01:00
425a4f600b
Forgot to reset offset.
2021-09-24 11:22:39 -04:00
e25f2e9c5c
Removed font renderer.
2021-09-24 11:22:39 -04:00
jgmdev
Guldoman
Adam Harrison