Удалить HeaderBar GTK3 Вала - PullRequest
0 голосов
/ 29 мая 2018

У меня такой вопрос, могу ли я удалить 'HeaderBar'?Я хочу использовать WebKit и сделать свои собственные контроллеры.Возможно, это можно сделать через CssProvider?

Экран

Ответы [ 2 ]

0 голосов
/ 29 мая 2018

То, что вы пытаетесь «удалить», это не «HeaderBar», а оформление окна. Gtk.HeaderBar это другое дело.Оформление окон зависит от менеджера окон, как указано в документации :

По умолчанию окна украшены строкой заголовка, элементами управления изменением размера и т. Д.

Некоторые оконные менеджеры позволяют GTK + отключать эти украшения, создавая окно без полей.Если вы установили для украшенного свойства значение false с помощью этой функции, GTK + сделает все возможное, чтобы убедить оконный менеджер не украшать окно.В зависимости от системы, эта функция может не иметь никакого эффекта при вызове в уже видимом окне, поэтому вы должны вызывать ее перед вызовом show.

В Windows эта функция всегда работает, поскольку в ней нет оконного менеджера.задействованная политика.

Хотя вы получили правильный способ отключить оформление окна ( Gtk.Window set_decorated (bool) ), эти пояснения необходимы.

0 голосов
/ 29 мая 2018

Решение - window.set_decorated (false);

...