我正在寻找一种在Ubuntu 18.04上使用键盘快捷键将窗口移至屏幕角(左上,上,右上,右,右下,底部,左下,左,最大化)的方法。 Gnome Shell 3.28.3)。
我尝试过的不起作用:
我可以编写一个(最好是Python)脚本来移动窗口,就像quicktile一样(现在应该使用哪个高级显示库)?
答案 0 :(得分:0)
似乎“放置窗口” https://extensions.gnome.org/extension/39/put-windows/足够“完成”,尽管有时似乎有些bug。 要通过Chrome安装它,您需要先安装以下软件包:
apt-get install chrome-gnome-shell gnome-shell-extensions
我需要重新启动Gnome才能使其正常工作。
答案 1 :(得分:0)
我写了一个基本的Python脚本来将窗口移动到屏幕角落,因为我尝试了所有解决方案(例如窗口和屏幕角落之间的间隙,窗口意外移动到其他屏幕),也可以完全自定义所有相关内容: / p>