]>
2018-09-07 | Pi | actually remove caret-color slot |
commit | commitdiff | tree |
2018-09-07 | Pi | make the caret color themeable |
commit | commitdiff | tree |
2017-10-23 | Pi | Improve documentation by linking to Unicode charts... |
commit | commitdiff | tree |
2017-10-23 | Pi | add unicode control-picturizer and docs |
commit | commitdiff | tree |
2017-10-23 | Pi | use lists vocab in factor handbook |
commit | commitdiff | tree |