Re: patch: View->Redraw action

[Xing Wang <quixon gnuchina org>]

Yeah, this will definitely help in current situation, but sooner or
later we must get things right *in the first place* -- no blurry when
moving objects.

On Mon, 2002-06-17 at 19:41, Dimitris Vyzovitis wrote:
> 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);
>  
-- 
Fix one bug for GNOME every week, or report two:-)