patch: View->Redraw action

[Dimitris Vyzovitis <vyzo media mit edu>]

Hi,

Attached is a patch to add a view->redraw action. This is useful for 
cases that the diagram gets blurry from moving objects around.

-- vyzo@media.mit.edu

--- app/menus.c.old	Sun Jun 16 19:07:23 2002
+++ app/menus.c	Sun Jun 16 19:07:45 2002
@@ -131,6 +131,7 @@
   GNOMEUIINFO_SEPARATOR,
   GNOMEUIINFO_ITEM_NONE(N_("New _View"), NULL, view_new_view_callback),
   GNOMEUIINFO_ITEM_NONE(N_("Show _All"), NULL, view_show_all_callback),
+  GNOMEUIINFO_ITEM_NONE(N_("Redraw"), NULL, view_redraw_callback),
   GNOMEUIINFO_END
 };
 
--- app/commands.c.old	Sun Jun 16 19:09:19 2002
+++ app/commands.c	Sun Jun 16 19:20:20 2002
@@ -854,6 +854,15 @@
 }
 
 void
+view_redraw_callback(gpointer data, guint action, GtkWidget *widget)
+{
+  DDisplay *ddisp;
+  ddisp = ddisplay_active();
+  ddisplay_add_update_all(ddisp);
+  ddisplay_flush(ddisp);
+}
+
+void
 view_diagram_properties_callback(gpointer data, guint action, GtkWidget *widget)
 {
   DDisplay *ddisp;
--- app/commands.h.old	Sun Jun 16 19:08:50 2002
+++ app/commands.h	Sun Jun 16 19:09:00 2002
@@ -64,6 +64,7 @@
 
 void view_new_view_callback(gpointer data, guint action, GtkWidget *widget);
 void view_show_all_callback(gpointer data, guint action, GtkWidget *widget);
+void view_redraw_callback(gpointer data, guint action, GtkWidget *widget);
 void view_diagram_properties_callback(gpointer data, guint action,
 				      GtkWidget *widget);