Re: Title bars much too tall after reinstalling linux on laptop THANKS

"Matthew D. Fuller" <[email protected]> Sat, 11 Jul 2020 11:49:19 -0500
Newsgroups gmane.comp.window-managers.ctwm
Message-ID <[email protected]>
On Fri, Jul 10, 2020 at 12:30:07AM +0100 I heard the voice of
Aaron Sloman, and lo! it spake thus:
>
> I later decided that just a function key is is too risky, e.g. if I hit F4
> instead of F3 by mistake, ...
>
> So "delete window" now requires a modifier key + F3.

I double up to Ctrl-Shift:
"F5"    = c|s : title|window|iconmgr : f.delete
"F6"    = c|s : title|window|iconmgr : f.destroy


> The modifier is CTRL for now, partly because there are CTRL buttons on
> both sides of the keyboard -- though I always swap the left CTRL with
> CapsLock, which is used much less often.

As a sensible person, I also do the same.  Well, I don't _swap_, I
just _add_.  I can just set something heavy on the shift key if I ever
need capslock for something.  Actually, I recently (-ish) went a step
further, and starting using xcape to let it be both Esc and Ctrl.  Not
without some negatives, but works pretty well for me.


On Fri, Jul 10, 2020 at 02:59:18PM +0200 I heard the voice of
Rhialto, and lo! it spake thus:
>
> The solution I found is that my shortcut key opens a pop-up menu with
> just one entry, and I have to select that option before it really
> deletes the window.
>
> "w"     = HRDWNDWMETA     : window|title|icon : f.menu "closemenu"
>
> menu "closemenu" {
>     "Close Window (W)" ("white":"red") f.delete
> }

Think it's come up before, but I do similar things with f.quit in my
menus.  Including a nop line to make me have to move the mouse, as
extra buffer against accidents.  Totally not because I accidentally
hit it twice one day, no sir.

[... some menu ...]
    "Exit           "    f.menu "exit"

menu "exit"
{
    "Exit?      "    f.title
    "           "    f.nop
    "Yes, dammit"    f.quit
}



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