refresh 1965 gui/gtk/gtk.cpp GtkWidget *refresh = gtk_image_menu_item_new_with_label(_("Redraw")); refresh 1966 gui/gtk/gtk.cpp gtk_image_menu_item_set_image(GTK_IMAGE_MENU_ITEM(refresh), refresh 1968 gui/gtk/gtk.cpp gtk_menu_append(menu, refresh); refresh 1969 gui/gtk/gtk.cpp gtk_widget_show(refresh); refresh 1970 gui/gtk/gtk.cpp g_signal_connect(refresh, "activate", G_CALLBACK(menuRefreshView), this); refresh 60 gui/kde/Kde4Glue.h void refresh(); refresh 597 gui/kde/Kde4Gui.cpp _drawingWidget, SLOT(refresh()));