I have used that on my Linux PC running Window Maker, for decades. I learned about the shortcut in its config app. But that is also yet another thing that woul

I have used that on my Linux PC running Window Maker, for decades. I learned about the shortcut in its config app. But that is also yet another thing that wouldn't work with touch/pen-based interfaces, when your only keyboard is an on-screen keyboard.