diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-02-27 19:26:26 +0100 |
---|---|---|
committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-02-27 19:26:26 +0100 |
commit | e13e0d91ca883c58d85196c36e181815c82946b4 (patch) | |
tree | 5c3e9779fbdf3eec24ddca7845b53245ca0b3dbc | |
parent | a1266d639b0438af9cb22a66210befd57b2e53eb (diff) | |
parent | 3b79b4b62aa409e30deb5d4dfbc3f5612ff5ae7f (diff) | |
download | arctica-greeter-e13e0d91ca883c58d85196c36e181815c82946b4.tar.gz arctica-greeter-e13e0d91ca883c58d85196c36e181815c82946b4.tar.bz2 arctica-greeter-e13e0d91ca883c58d85196c36e181815c82946b4.zip |
Merge branch 'jbicha-vala39'
Attributes GH PR #9: https://github.com/ArcticaProject/arctica-greeter/pull/9
-rw-r--r-- | src/menubar.vala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/menubar.vala b/src/menubar.vala index 514a3bf..644cc15 100644 --- a/src/menubar.vala +++ b/src/menubar.vala @@ -47,7 +47,7 @@ private class IndicatorMenuItem : Gtk.MenuItem if (entry.accessible_desc != null) get_accessible ().set_name (entry.accessible_desc); if (entry.menu != null) - set_submenu (entry.menu as Gtk.Widget); + set_submenu (entry.menu); if (has_visible_child ()) show (); @@ -218,7 +218,7 @@ public class MenuBar : Gtk.MenuBar image.show (); hbox.add (image); a11y_item.show (); - a11y_item.set_submenu (new Gtk.Menu () as Gtk.Widget); + a11y_item.set_submenu (new Gtk.Menu ()); onscreen_keyboard_item = new Gtk.CheckMenuItem.with_label (_("Onscreen keyboard")); onscreen_keyboard_item.toggled.connect (keyboard_toggled_cb); onscreen_keyboard_item.show (); |