+
+ dict_view->menu = gtk_menu_new ();
+
+
+ {
+ GtkWidget *checkbox =
+ gtk_check_menu_item_new_with_label (_("Prefer variable labels"));
+
+ gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (checkbox),
+ dict_view->prefer_labels);
+
+ g_signal_connect (checkbox, "toggled",
+ G_CALLBACK (toggle_label_preference), dict_view);
+
+
+ gtk_menu_shell_append (GTK_MENU_SHELL (dict_view->menu), checkbox);
+
+ }
+
+ gtk_widget_show_all (dict_view->menu);
+
+ g_signal_connect (dict_view, "button-press-event",
+ G_CALLBACK (show_menu), NULL);