Desktop environments stealing app key shortcuts (Was Re: package managers problem)
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
Reply to: