Message: previous - next
Month: May 2018

Re: [trinity-users] still plugging along with gemini

From: dep <dep@...>
Date: Tue, 15 May 2018 17:45:32 -0400
On May 15, 2018 5:26 PM, E. Liddell <ejlddll@...> 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.