menu.ref();
- //this.popup_menu.connect( ( button, time) =>{
- this.button_press_event.connect( ( button) =>{
+ this.popup_menu.connect( ( button, time) =>{
+ //this.button_press_event.connect( ( ) =>{
//print(Array.prototype.slice.call(arguments).join(','));
print("menu activiate called\n");
menu.resume.hide();
menu.pause.show();
}
-
+ // public void popup (Gtk.Widget? parent_menu_shell, Gtk.Widget? parent_menu_item,
+ // [CCode (scope = "async")] Gtk.MenuPositionFunc? func, uint button, uint32 activate_time);
//Gtk.get_current_event_device ()
menu.popup(
-
+
null, null,
- //this.position_menu,
- null,
- button,
- 0 // time
+ this.position_menu,
+
+ button, time // time
);
-
//var g = { };
//var a = new Gdk.Rectangle();
// needs direction=inout setting in gir to work (in bugzilla @present)
// should check to see if @ top or bottom I guess..
//menu.el.get_toplevel().move(a.x, a.y +a.height);
//menu.el.get_toplevel().move(10,10);
+ //return false;
});
}
+ void pause()
+ {
+ this.set_from_stock( Gtk.Stock.MEDIA_PAUSE );
+ }
+ void resume()
+ {
+ this.set_from_stock( Gtk.Stock.MEDIA_PLAY );
+ }
+
+
class MenuA : Gtk.Menu
{
public ImageMenuItem pause;