Ubuntu 18.04 wmctrl проблемы
Таким образом, я только что обновил до 18,04 и корректировал настройки и такой, но имею проблемы с wmctrl. Мне установили ярлык для переключения окна, чтобы быть поверх остальных окон "wmctrl-r: АКТИВНЫЙ: переключатель-b, выше", но после обновления я не могу переключить или удалить это через wmctrl. Это устанавливает, чтобы быть на вершине, но не назад к нормальному после, какие-либо идеи о том, как получить эту работу?
1 ответ
На самом деле. Я вырыл немного больше в это и нашел решение. Это может быть найдено здесь . Это использует созданный в функциональности, таким образом wmctrl не нужно. Это действительно использует редактор конфигураций ГУИДА, но я на самом деле нахожу, что этот инструмент довольно удобен. Просто бойтесь редактировать вещи, что Вы не уверены, что они делают. Это могло быть фатальным для некоторых приложений или Вашей системы.
На всякий случай ссылка когда-либо повреждается, или будущие читатели не хотят переходить по ссылке:
- dconf-редактор Установки с
sudo apt install dconf-editor - Выполнение
dconf-editorдля открытия редактора настроек. - Перешли к:
/org/gnome/desktop/wm/keybindings - Выбор
toggle-above, примечание там является также опцией дляalways-on-top, это не работало на меня - Переключатель
Use default value - Установленное пользовательское значение. Должен быть массив, содержащий строку. Я установил, мои к
['<Shift><Alt>a'] - Сохраняют путем нажатия на галочку в левой нижней части