|
|
79d2a20b1f
|
Fixed visible whitespace handling
|
2021-12-03 09:20:03 +01:00 |
|
|
|
e62de27044
|
Improved visible whitespace stuff
Median dots for spaces, pilcrow at end of lines
|
2020-12-07 15:04:39 +01:00 |
|
|
|
6f703fcbb9
|
Visible whitespace - Display no-break spaces as warning signs
|
2020-12-07 14:51:49 +01:00 |
|
|
|
d6f121f28f
|
Starting port of old configuration
Also, documenting it as I go. Especially keyboard shortcuts.
|
2015-03-02 17:58:40 +01:00 |
|
