| [gef-dev] ScaledGraphics.zoomLineWidth() |
|
Hi all,
I noticed the method ScaleGraphics.setLineWidth(int
width) doesn't take into accoumt of the zomm factor. The result is the line is
very thin when zoom is out. Is it a bug ? I gues the change should
be:
int zoomLineWidth(int w) {
return (int) (w* zoom); } julien omondo |