| ▲ | royal__ 2 hours ago | |
Yeah this is what I do. This article feels like crazy overengineering for something that's not really a problem | ||
| ▲ | dima55 2 hours ago | parent [-] | |
A dedicated key for all window-manager things is what people that have thought about it do (I use the "windows" key). But keyboard manufacturers haven't thought about it, so sometimes reasonable things aren't possible. I don't know. | ||