|
From: Benjamin L. <lin...@gm...> - 2009-08-31 19:30:21
|
Ethan Merritt wrote: > On Monday 31 August 2009 11:45:39 Benjamin Lindner wrote: >> Hello list, >> >> In a current 4.3.0 build the emf terminal scales the point size with the >> terminal size. >> This is contrary to what other terminals e.g. png or ps do. > > I think it's more complicated than that. > Various terminals do various things. > Some have a fixed point size (particularly the old plotter drivers where > the points are drawn via a hardware function). > Some scale by terminal size. > Some (as I recall) scale by font size. > > It seems a reasonable goal to have all the drivers do the same thing, > but before making any changed I'd like first to see a list of which terminals > do what right now and how many of them can be easily modified to match > a common convention for the behaviour. > Well to start the list, I can provide: term | scale ps with term size? | scale ps with font size? -------------------------------------------------------------- emf yes no png no no gif no no jpeg no no ps no no eps no no benjamin |