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:-)