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