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

On Fri 10 Jul 2020 at 00:30:07 +0100, Aaron Sloman wrote:
> As reported previously, I've compensated for lack of title bars by
> providing more function key actions. One decision I previously reported was
> using F10 (now changed to F4 because of an unnoticed clash) to delete the
> current window.
> 
> 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.

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
}

-Olaf.
-- 
Olaf 'Rhialto' Seibert -- rhialto at falu dot nl
___  Anyone who is capable of getting themselves made President should on
\X/  no account be allowed to do the job.       --Douglas Adams, "THGTTG"

-----BEGIN PGP SIGNATURE-----

iQEcBAEBAgAGBQJfCGYmAAoJEJmJxkVhw/vTXFQH/jwVFr+0zdkou9pFFqfsmGa1
y+MlRMVCxcITqGPJfI/OAxaj1pr88gXQtlR52XOsYBeq2B91QJtYlrkVX9zFr6Uo
c51jMQGdesYv0Np2zWX2rr5TTjS0z/JiE6GG3qMnYZkCQ3ZOwHP5f5FfrHXj/iih
wf2bQ5myfRD1ihCmo/WG23GHMpYq/DfbWVRMrRERp5bCVJBRThAFNuRc3Y8Wd87X
SwJKWqeq5EO2rqIjqd16R5W7TbuDkkzNZdPU7vRjOICTHDb0EJyrMNrsmyerKrAI
BQ33K6CcDdYVbYXhil4tuvxkdG/uYzfaNZN9pCYmF0mfUmYHZg3IcnRaIaruL7g=
=fvm+
-----END PGP SIGNATURE-----