3
votes
2answers
660 views

Move between different workspaces efficiently

Using GNOME here, I want to switch between different workspaces more efficiently -- by this I mean, suppose I am on workspace #1 and I want to switch to workspace #3 ... how do I that efficiently? The ...
4
votes
2answers
531 views

Override the window title for an arbitrary window in KDE and set a custom window title

Using KDE here, but there might be a solution that works with other desktops environments too. I often am dealing with many many windows. Most windows contain many tabs (e.g. a Dolphin window with ...