On Fri, Apr 26, 2002 at 09:23:41AM +0100, Angus Leeming wrote: > On Thursday 25 April 2002 6:25 pm, Herbert Voss wrote: > > we should hide the graphic export formats for the > > file->export menu. > > > > Herbert > > Don't you hate hard-coding such things? Anyway, while you're at it, you
In my opinion, the correct solution is to only define eps->xpm converter, and remove the epsi->xpm and ps->xpm converters (this might require some code change in the graphics code). Also, the gif->eps, png->eps etc. can be replaced by a bitmap->eps converter.
