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)
|
2019-06-22 01:07:17 +02:00
|
|
|
|
|
|
|
More elements, I guess...
|