Добавьте окно, padding/spacing
Есть ли простой способ добавить окно, padding/spacing на Ubuntu 18.04
См. изображение ниже для ссылки/примера!
И можно ли сделать это без пользовательского Менеджера окон как i3?
Спасибо!
1 ответ
Сначала замечание общего порядка. В укладке менеджеров окон Ваши окна, открытые в размере по умолчанию или в размере, окно было ранее в. Они размещаются, в зависимости от настроек кормушки окна, согласно "умному" алгоритму или в центре (для Ubuntu 18.04, это зависит от установки org.gnome.mutter центральных новых окон), в конечном счете перекрывая существующие окна. В этом контексте автоматически обеспечение разрывов между смежными окнами имеет меньше смысла, потому что окна систематически не помещаются смежные друг с другом.
Тем не менее такой эффект мог в принципе быть достигнут с помощью темы, где Границы окна относительно широки и прозрачны. Вы можете или не мочь находить такую тему, которая удовлетворяет Вашему вкусу. В конечном счете существующая тема могла быть отредактирована этот путь, но это не может быть настолько просто, например, посмотрите это обсуждение Reddit. файлы .css должны быть быть отредактированными в различных местах. Добавленная сложность - то, что некоторые границы окна могут быть оттянуты Менеджером окон, другими клиентом.