Re: Title bar problem by-passed, perhaps permanently!

> On Tue, 7 Jul 2020 17:03:41 +0100
> Aaron Sloman <[email protected]> wrote:
> > 
> > Likewise using mouse/keypad Button3 to invoke f.resize and two
> > buttons for fullzoom and (vertical) zoom.

Another possibility is that you can do mouse button bindings in the
context of the window frame, so just clicking on the border puts you
in resize mode.


On Tue, Jul 07, 2020 at 12:12:46PM -0400 I heard the voice of
Steve Litt, and lo! it spake thus:
> 
> There's one thing you could add to the preceding: A function to toggle
> the title-bar, [...]

Functionality for that sort of thing is floating around my list, ever
since the RANDR multimonitor support made it easy to see what a gross
thing we do with fullscreenzoom.  It's not _quite_ as trivial as you'd
think at first (especially if you want toggling it to visually add the
titlebar to the top, vs shifting the whole window down by the TB's
height), but it's probably not too bad, especially if you're willing
to toss "maintains state across restarts" overboard.


-- 
Matthew Fuller     (MF4839)   |  [email protected]
Systems/Network Administrator |  http://www.over-yonder.net/~fullermd/
           On the Internet, nobody can hear you scream.