Add extra font settings

GoogleCodeExporter commented 9 years ago

A few more font settings (some of which I've tweaked on Gargoyle in my PC would 
be helpful):
- background/foreground color
- color of inputted text
- gamma
- style of cursor (not quite fonts, but somewhat related)
- separate fonts for proportional/monospaced

Original issue reported on code.google.com by jtut...@gmail.com on 11 Feb 2012 at 1:25

GoogleCodeExporter commented 9 years ago

Original comment by dtver...@gmail.com on 11 Feb 2012 at 3:39

Added labels: Type-Enhancement
Removed labels: Type-Defect

GoogleCodeExporter commented 9 years ago

Since each style is stored as a resource (see res/value/styles.xml), if you 
compile the apk yourself, you can change any style you like to almost anything 
you want.

I think we can solve this issue very nicely by allowing the user to specify 
their own styles as files, which we then read in. We can also make the default 
styles use the android theme mechanism. This would allow the user to just 
supply a theme resource that has the colors and sizes etc.

This would make it very configurable, and we could supply a number of example 
themes and styles, for instance a theme for small screen, for tablet, and for 
e-ink.

Doing this instead of cluttering the settings panel would be my preference.

Original comment by norb...@gmail.com on 1 Oct 2012 at 8:58

BroadcastGames commented 8 years ago

"separate fonts for proportional/monospaced" - this one seems key. As 0.9 on the Play Store and current Github behaves... on a default app install (no changing of preferences) it does not use the monospace fonts. The story beneath.z5 or animals.z5 on larger-screens reveals this with opening ASCII art text.

Styles. java line 136 has logic to basically bypass changing to the monospace font on a default install: https://github.com/retrobits/son_of_hunkypunk/blob/master/app/src/main/java/org/andglkmod/glk/Styles.java#L136

retrobits / son_of_hunkypunk

Add extra font settings #7