Hello, On Wed, Jun 21, 2023 at 04:14:07PM -0400, gene heskett wrote: > On 6/21/23 13:51, Roy J. Tellason, Sr. wrote: > > On Wednesday 21 June 2023 08:54:46 am Maurice Heskett wrote: > > > it pisses me off that F10 has been stolen by the window > > > managers to bring up a useless menu, making me find the mouse > > > to quit it when I'm done. > > > > That *is* annoying... > > > > But I find that <esc>0 works for this. > > So it does Roy, thank you, but that's still a two handed operation with
Surely it is pretty easy to alter the desktop environment key shortcuts? There a few GNOME ones I have to disable myself, due to using various F-keys for other apps. Cheers, Andy -- https://bitfolk.com/ -- No-nonsense VPS hosting
