Re: patch: View->Redraw action

[Lars Clausen <lrclause cs uiuc edu>]

On Mon, 17 Jun 2002, 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.

I was about to say that you could just do this via the window manager, but
some window managers are unchangable and not good at this.  So I added your
patch (with addition of a non-gnome menu item).  It may disappear when the
dirt is gone.

-Lars

-- 
Lars Clausen (http://shasta.cs.uiuc.edu/~lrclause)| Hårdgrim of Numenor
"I do not agree with a word that you say, but I   |----------------------------
will defend to the death your right to say it."   | Where are we going, and
    --Evelyn Beatrice Hall paraphrasing Voltaire  | what's with the handbasket?