Hacker News new | ask | show | jobs
by astn 4462 days ago
Use workspaces, that is the best way to switch between maximized windows in gnome. Even easier with 'workspaces to dock' extension - just scroll at the right edge of the screen.