看完之后调整窗口大小应该更容易 - 增加边框像素数?以及那里引用的链接,我查看了 dconf-editor 的内容。其中有“/org/gnome/mutter/draggable-border-width”,其描述如下:
可拖动边框总数。如果主题的可见边框不够,将添加不可见边框来满足此值。
如下图所示,我已将值设置为最大允许值64
(标记为红色)。
我在终端中确认了这个设置:
dkb@dkb:~$ gsettings list-recursively | grep -i "draggable-border-width "
org.gnome.mutter draggable-border-width 64
dkb@dkb:~$
但是,根据我可以将鼠标指针放在的最远位置(黑色圆圈部分)判断,有效边框宽度相对于默认值没有变化,默认10
值为
- dconf-编辑器
- 表明
- 编辑
- 鹦鹉螺
- 设置
- 数独
- 图腾电影播放器
- 调整
但如下图所示,在 gnome-terminal 窗口中,我可以将鼠标指针放置在距离可见边框更远的位置,并且仍然可以调整大小。换句话说,设置似乎64
对 gnome-terminal 窗口有效,但对我上面列出的窗口无效:
编辑:
64
也适用于
- 艾斯莱里奥特
- 羽毛垫
- 火狐
- 吉尼
- 格温维尤
- 叶垫
- 外部终端
- 鼠标垫
- 肖特韦尔
- 厄克斯泰姆
- 终端
这是为什么?
我没有更改任何 GNOME Shell 设置。GTK 主题是 Adwaita。