gatuno
/
gatuno-terminal
1
0
Fork 0
Code Issues Pull Requests Releases 1 Wiki Activity

terminal-window: Fix warnings with menu popup

master-1.22
Pablo Barciela 2018-09-02 15:47:39 +02:00 committed by raveit65
parent 7958d12df0
commit 9081ba937a
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/terminal-window.c
View File

@ -1425,6 +1425,9 @@ popup_clipboard_targets_received_cb (GtkClipboard *clipboard,
GtkAction *action; GtkAction *action;
gboolean can_paste, can_paste_uris, show_link, show_email_link, show_call_link, show_input_method_menu; gboolean can_paste, can_paste_uris, show_link, show_email_link, show_call_link, show_input_method_menu;
int n_pages; int n_pages;
GdkEvent *event;
GdkSeat *seat;
GdkDevice *device;
if (!gtk_widget_get_realized (GTK_WIDGET (screen))) if (!gtk_widget_get_realized (GTK_WIDGET (screen)))
{ {
@ -1491,7 +1494,17 @@ popup_clipboard_targets_received_cb (GtkClipboard *clipboard,
if (!gtk_menu_get_attach_widget (GTK_MENU (popup_menu))) if (!gtk_menu_get_attach_widget (GTK_MENU (popup_menu)))
gtk_menu_attach_to_widget (GTK_MENU (popup_menu),GTK_WIDGET (screen),NULL); gtk_menu_attach_to_widget (GTK_MENU (popup_menu),GTK_WIDGET (screen),NULL);
gtk_menu_popup_at_pointer (GTK_MENU (popup_menu), NULL); event = gtk_get_current_event ();
seat = gdk_display_get_default_seat (gdk_display_get_default());
device = gdk_seat_get_pointer (seat);
gdk_event_set_device (event, device);
gtk_menu_popup_at_pointer (GTK_MENU (popup_menu), (const GdkEvent*) event);
gdk_event_free (event);
} }
static void static void