1
Index: tomboy-0.15.6/Tomboy/RecentChanges.cs
2
===================================================================
3
--- tomboy-0.15.6.orig/Tomboy/RecentChanges.cs 2009-09-07 09:41:04.000000000 +0200
4
+++ tomboy-0.15.6/Tomboy/RecentChanges.cs 2009-09-07 09:41:13.000000000 +0200
7
pos_menu_func = PositionContextMenu;
9
- menu.Popup (null, null,
12
- Gtk.Global.CurrentEventTime);
15
+ menu.Popup (null, null,
18
+ Gtk.Global.CurrentEventTime);
20
+ Logger.Debug ("Menu popup failed with custom MenuPositionFunc; trying again without");
21
+ menu.Popup (null, null,
24
+ Gtk.Global.CurrentEventTime);
28
// This is needed for when the user opens
29
// the context menu with the keyboard.
30
Index: tomboy-0.15.6/Tomboy/Utils.cs
31
===================================================================
32
--- tomboy-0.15.6.orig/Tomboy/Utils.cs 2009-09-07 09:40:49.000000000 +0200
33
+++ tomboy-0.15.6/Tomboy/Utils.cs 2009-09-07 09:41:20.000000000 +0200
36
public static void PopupMenu (Gtk.Menu menu, Gdk.EventButton ev)
38
- menu.Deactivated += DeactivateMenu;
41
- new Gtk.MenuPositionFunc (GetMenuPosition),
42
- (ev == null) ? 0 : ev.Button,
43
- (ev == null) ? Gtk.Global.CurrentEventTime : ev.Time);
45
- // Highlight the parent
46
- if (menu.AttachWidget != null)
47
- menu.AttachWidget.State = Gtk.StateType.Selected;
48
+ PopupMenu (menu, ev, new Gtk.MenuPositionFunc (GetMenuPosition));
51
public static void PopupMenu (Gtk.Menu menu, Gdk.EventButton ev, Gtk.MenuPositionFunc mpf)
53
- menu.Deactivated += DeactivateMenu;
57
- (ev == null) ? 0 : ev.Button,
58
- (ev == null) ? Gtk.Global.CurrentEventTime : ev.Time);
63
+ (ev == null) ? 0 : ev.Button,
64
+ (ev == null) ? Gtk.Global.CurrentEventTime : ev.Time);
66
+ Logger.Debug ("Menu popup failed with custom MenuPositionFunc; trying again without");
70
+ (ev == null) ? 0 : ev.Button,
71
+ (ev == null) ? Gtk.Global.CurrentEventTime : ev.Time);
74
// Highlight the parent
75
if (menu.AttachWidget != null)