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? _______________________________________________ Dia-list mailing list [EMAIL PROTECTED] http://mail.gnome.org/mailman/listinfo/dia-list
