On Wed, 21 Jun 2023 08:54:46 -0400 Maurice Heskett <gheskett@shentel.net> wrote: > > There is no gui file manager that can touch > it for utility, and 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. I'm running it in xfce4-terminal, which in Edit, Preferences, Advanced can disable F10 and other keys, restoring them to normal mc use. -- Joe