我想在调整大小和移动窗口时避免它们自动贴边,但似乎没有效果。
我正在运行Ubuntu 18.04.1 LTS上的GNOME 3.28.2。在原生设置应用程序中,我找不到有关贴边的选项;我安装了gnome-tweaks,但也没有找到相关选项;我还安装了Compiz配置工具,它确实有贴边选项,但取消选择后没有任何效果。这让我怀疑Compiz配置工具是否已经过时,无法适用于GNOME 3?我的apt显示它是最新版本,即1:0.9.13.1+18.04.20180302-0ubuntu1。
那么,我能以某种"hacky"的方式关闭窗口贴边吗?
我正在运行Ubuntu 18.04.1 LTS上的GNOME 3.28.2。在原生设置应用程序中,我找不到有关贴边的选项;我安装了gnome-tweaks,但也没有找到相关选项;我还安装了Compiz配置工具,它确实有贴边选项,但取消选择后没有任何效果。这让我怀疑Compiz配置工具是否已经过时,无法适用于GNOME 3?我的apt显示它是最新版本,即1:0.9.13.1+18.04.20180302-0ubuntu1。
那么,我能以某种"hacky"的方式关闭窗口贴边吗?
sudo
,以防万一,但问题仍然存在。例如,终端窗口与Firefox的捕捉方式不同。如果我不让终端的边缘完全贴近屏幕边缘,它会允许我将其靠近。一旦它们接触到一起,我只需要远离拖动即可取消捕捉。但对于Firefox,我永远无法将其靠近;如果我将其靠近并放开鼠标,它会自动调整位置并将其捕捉到边缘。 - Digital Ninja