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?