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()));