said E. Liddell:
| On Mon, 8 Jan 2018 20:04:36 -0500 | dep dep@drippingwithirony.com wrote:
| There are auto-hiding options in the panel configuration. Then you'd | just need to create a hotkey binding to send the pointer to a specific | screen location to show it again.
Right. Alt-F1 will raise Kicker and Kmenu, which is fine. But navigating Kicker with the keyboard isn't anyplace I can find, and I'm sure I've seen in TDE configuration *someplace* the option to use the keyboard in lieu of mouse. It's not been something I've ever needed before, but now it actually is useful and now I can't find it! (Nor, truth be told, do I have the faintest idea how it works.)