3 window-manager shortcut-keys window xdotool wmctrl
我最近看到了一个很好的问题的答案,我想知道,这是否也可以在带有 GNOME 3.18 和 GDM 的 Ubuntu GNOME 15.10 以及 Compiz 上实现,如该问题的答案所示?
但是键盘快捷键对我来说并不是那么重要,我只是真的希望能够将窗口拖到角落并让它们在我松开鼠标时自动调整到这些角落而不是侧面。
Wil*_*ilf 5
可以使用Gnome 扩展更改 Gnome Shell - 我认为这个扩展对你有用:
这是通过将窗口拖放到位来完成的,它将显示橙色突出显示(似乎与主题不匹配:/)。您可以在设置中更改窗口之间的间隙:
尽管目前此扩展不适用于 GNOME 3.18,因此您必须尝试使用此解决方法。
归档时间:
10 年,7 月 前
查看次数:
969 次
最近记录:
9 年,2 月 前