Nemcio/DemonEditor
1
0
Fork 0
mirror of https://github.com/DYefremov/DemonEditor.git synced 2026-05-07 18:37:32 +02:00
Code Issues Packages Projects Releases Activity

added tool menu for Gnome session

Browse Source
This commit is contained in:
DYefremov
2021-10-23 19:25:19 +03:00
parent 4e59bdf38e
commit d9a5d9a972
3 changed files with 17 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
app/ui/app_menu.ui
View File

@@ -134,7 +134,7 @@
</item>
</section>
</submenu>
<submenu>
<submenu id="tools_menu">
<attribute name="label" translatable="yes">Tools</attribute>
<attribute name="action">app.hide_menu_bar</attribute>
<attribute name="hidden-when">action-disabled</attribute>

11
app/ui/main.py
View File

@@ -437,10 +437,19 @@ class Application(Gtk.Application):
else:
self.set_menubar(builder.get_object("menu_bar"))
else:
tools_menu = builder.get_object("tools_menu")
tools_button = Gtk.MenuButton(visible=True, menu_model=tools_menu, direction=Gtk.ArrowType.NONE)
tools_button.set_tooltip_text(get_message("Tools"))
tools_button.set_image(Gtk.Image.new_from_icon_name("applications-utilities-symbolic", Gtk.IconSize.BUTTON))
view_menu = builder.get_object("view_menu")
view_button = Gtk.MenuButton(visible=True, menu_model=view_menu, direction=Gtk.ArrowType.NONE)
view_button.set_tooltip_text(get_message("View"))
self._main_window.get_titlebar().pack_end(view_button)
box = Gtk.ButtonBox(visible=True, layout_style="expand")
box.add(tools_button)
box.add(view_button)
self._main_window.get_titlebar().pack_end(box)
# IPTV menu.
self._iptv_menu_button.set_menu_model(builder.get_object("iptv_menu"))
iptv_elem = self._tool_elements.get("fav_iptv_popup_item")

11
app/ui/style.css
View File

@@ -61,12 +61,13 @@ paned > separator {
}
.stack-switcher > button > label {
padding-left: 2px;
padding-right: 2px;
min-width: 75px;
padding-left: 5px;
padding-right: 5px;
min-width: 50px;
}
.stack-switcher > button.text-button {
padding-left: 2px;
padding-right: 2px;
padding-left: 5px;
padding-right: 5px;
min-width: 50px;
}