As the title says, I think it could be useful if Grammer could read fonts directly from archive. Reading fonts from archive will slow it down slightly, but printing text is already a slow-ish process. A couple dozen microseconds isn't going to hurt much, and it will save on RAM requirements.
As to letting the user pick a custom font as the default, I just think it would be a cool UI option. On the other hand, it is probably unnecessary and just adds to the bloat.
As the title says, I think it could be useful if Grammer could read fonts directly from archive. Reading fonts from archive will slow it down slightly, but printing text is already a slow-ish process. A couple dozen microseconds isn't going to hurt much, and it will save on RAM requirements.
As to letting the user pick a custom font as the default, I just think it would be a cool UI option. On the other hand, it is probably unnecessary and just adds to the bloat.