Hacker News new | ask | show | jobs
by sangelxyz 813 days ago
you can still resize with the std window manager/desktop hotkeys.