我刚刚安装了 Ubuntu 18.04，我想知道是否有办法为窗口的常用/经常使用的调整大小和定位设置快捷方式。
我的另一台笔记本电脑是 Macbook，我使用Magnet快速调整窗口大小和重新定位窗口。使用 Magnet，我可以快速点击Alt+↑将窗口以 100% 的宽度捕捉到屏幕的上半部分，或者按Alt+→将其捕捉到屏幕的右半部分以 100% 的高度。这就是我所追求的那种 UX。
我的窗口管理器是 GDM3。
$ cat /etc/X11/default-display-manager
/usr/sbin/gdm3
有没有办法用 GDM3 做到这一点？或者是否有我可以安装的应用程序可以启用它？或者我应该将 GDM3 切换到另一个窗口管理器？我对这里的选择持开放态度。