2019-06-19 00:51:19 +02:00
|
|
|
Pure TeX things:
|
2019-06-19 17:38:08 +02:00
|
|
|
* Have a decent reference other than the source code
|
2019-06-19 00:51:19 +02:00
|
|
|
|
|
|
|
Things that require help from the font manager:
|
|
|
|
* Parametrize character-level and word-level spacing
|
2019-05-31 19:53:34 +02:00
|
|
|
* Reduce horizontal spacing by using a proportional font
|
2019-06-18 03:27:04 +02:00
|
|
|
* Have a decent variable-height font system in gint (argh)
|