Как изменить чувствительность Ubuntu Dock в 17.10?
Мне часто приходится копировать и вставлять и использовать элементы управления графическим интерфейсом по краям экрана.
В предыдущих версиях Ubuntu Dock можно было настроить только для отображения, когда курсор находился в углу, а не только на краю, и был параметр «чувствительность», который можно было бы установить высоким для предотвращения случайного запуска Док.
Они, похоже, не присутствуют в панели управления Ubuntu 17.10. В 17.10 есть опция расширения или скрытой настройки, которая могла бы:
сделать показ Док-станции, когда курсор находится в верхнем левом углу, а не только слева, и / или изменить чувствительность Док-авто-шоу?2 ответа
Выполните следующие шаги, чтобы изменить чувствительность с помощью dconf-editor:
Выберите настройку org.gnome.shell.extensions.dash-to-dock.pressure-threshold. Установите ползунок «Использовать значение по умолчанию» в положение «ВЫКЛ». Введите пользовательское значение в поле «пользовательское значение». Значение по умолчанию - 100, и кажется, что значения вокруг 500 делают его менее чувствительным.Для меня значение 1000 делает невозможным открытие док-станции, поэтому некоторые доказательства того, что настройка, похоже, что-то делает, и, вероятно, не просто мое воображение.
Выполните следующие шаги, чтобы изменить чувствительность с помощью dconf-editor:
Выберите настройку org.gnome.shell.extensions.dash-to-dock.pressure-threshold. Установите ползунок «Использовать значение по умолчанию» в положение «ВЫКЛ». Введите пользовательское значение в поле «пользовательское значение». Значение по умолчанию - 100, и кажется, что значения вокруг 500 делают его менее чувствительным.Для меня значение 1000 делает невозможным открытие док-станции, поэтому некоторые доказательства того, что настройка, похоже, что-то делает, и, вероятно, не просто мое воображение.