mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-28 03:00:35 +00:00
menu: use alternative way to get the key number
This commit is contained in:
parent
571b504be4
commit
793b1a02ef
1 changed files with 1 additions and 1 deletions
|
@ -98,7 +98,7 @@ public class MediaInfo.App : Window
|
||||||
CheckMenuItem citem = new CheckMenuItem.with_label (_("Full Screen"));
|
CheckMenuItem citem = new CheckMenuItem.with_label (_("Full Screen"));
|
||||||
// see http://bugzilla.gnome.org/show_bug.cgi?id=551184
|
// see http://bugzilla.gnome.org/show_bug.cgi?id=551184
|
||||||
// FIXME: we're also not getting a proper accelerator shown in the menu item
|
// FIXME: we're also not getting a proper accelerator shown in the menu item
|
||||||
citem.add_accelerator("activate", accel_group, 0xffc8, 0, 0);
|
citem.add_accelerator("activate", accel_group, Gdk.keyval_from_name ("F11"), 0, 0);
|
||||||
//citem.set_accel_path ("<GstMi-Main>/MainMenu/View/FullScreen");
|
//citem.set_accel_path ("<GstMi-Main>/MainMenu/View/FullScreen");
|
||||||
//AccelMap.add_entry ("<GstMi-Main>/MainMenu/View/FullScreen", 0xffc8, 0);
|
//AccelMap.add_entry ("<GstMi-Main>/MainMenu/View/FullScreen", 0xffc8, 0);
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue