Ubuntu 18.04: делает & ldquo; draggable-border-width & rdquo; работать только для некоторых приложений?

После прочтения Изменение размера окна должно быть проще - увеличить количество пикселей границы? и ссылки, приведенные там, я посмотрел на то, что имел 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-editor
• evince
• gedit
• наутилус
• настройки
• судоку
• проигрыватель тотемных фильмов
• настройки

Но, как показано на рисунке ниже, с окном терминала gnome я могу расположить указатель мыши намного дальше от видимой границы и по-прежнему выполнять изменение размера. Другими словами, похоже, что настройка 64 эффективна для окон терминала gnome, но не для окон, которые я перечислил выше:

Редактировать:

64 также работает для

• aisleriot
• Fearpad
• Firefox
• geany
• gwenview
• leafpad
• lxterminal
• коврик для мыши
• shotwell
• uxterm
• xterm

Почему это?

Я не изменил никаких настроек оболочки GNOME. Тема GTK - Adwaita.