What is this window resizer called on Windows, ChromeOS (and soon macOS), and how do I get it on GNOME?