On May 15, 2018 5:26 PM, E. Liddell ejlddll@googlemail.com wrote:
If you're still struggling with this, you can override the font size (not the DPI or
zoom factor) for GTK2 applications by editing .gtkrc-2.0 for the appropriate
user. Mine has the line
gtk-font-name="Times New Roman, 12"
which does indeed produce text of the expected font and size.
Thanks very much. I'll go poking around and see what I can find (and probably break!).
Things are zooming along in development of hacks to make a Linux desktop for the Gemini that is useful. I was here the other day wondering if anyone had any sense of how I could make an autohidden "panel" -- Kicker in LXQt -- reappear when I wanted it. By this morning, the Gemini hacker Adam Boardman had coded into the keymap the use of Ctrl-Esc to do just that. So all it took was apt-get update and apt-get upgrade, logging out and back in, and whammo, it works. (I do confess to having resurrected the little Kensington bluetooth pocket trackball that I got in the netbook days, for use when nothing else will do. But those occasions are becoming fewer and fewer.)
Scrollbar width should be determined by the styles being applied. Unfortunately,
it's been a long time since I last looked into GTK2 styles (I threw together something
that satisfied me circa 2012 and have left it alone since). It's probably a setting
applied to Gtk-Scrollbar:: or Gtk-Range::, though, and the style files are plain text
and can be grepped for examples.
If memory serves, there's a way to make desktop styles override application ones, at least in KDE/Trinity, and it's my hope to take an existing LZQt style and edit it like crazy to come up with one suited to the unique needs of the Gemini, and toss it out there for those who are interested. It would look ghastly on a full-size monitor. The only think I'm fairly sure of is that by the time I get it done the guys will have perfected tablet-like touch scrolling. (And of course the arrow keys are our friend.)
Thanks for the help -- it'll set me in the right direction on several fronts.