Я знаю, что панель заголовков окон может быть удалена в {g,d}conf-editor
или путем изменения темы metacity. Тем не менее, я хочу иметь несколько довольно сложных правил для отображения заголовков или нет (например, скрыть строку заголовка, если окно разбито), и расширение является единственным способом, который я могу придумать для этого. MetaWindow.get_frame
, похоже, недоступен в js, есть ли способ контролировать оформление окон в расширении gnome-shell?
THX.