/[gzz]/gzz/gzz/view/DimDecorator.java
ViewVC logotype

Diff of /gzz/gzz/view/DimDecorator.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.6 by benja, Sat Sep 28 09:15:35 2002 UTC revision 1.7 by benja, Sat Sep 28 09:17:14 2002 UTC
# Line 82  String rcsid = "$Id$"; Line 82  String rcsid = "$Id$";
82              String name = ((View.NamedView)view).getDefaultName();              String name = ((View.NamedView)view).getDefaultName();
83              Rectangle rect = new Rectangle();              Rectangle rect = new Rectangle();
84              sc.coords.getRenderInfo(into).getExtRect(rect);              sc.coords.getRenderInfo(into).getExtRect(rect);
85              float vw = style.getWidth(name, 1.6f) + 10, vh = style.getHeight(1.6f);              float vw = style.getWidth(name, 1.6f), vh = style.getHeight(1.6f);
86              float vx = rect.width - vw;              float vx = rect.width - vw - 10;
87              int cs = sc.coords.coordsys(into, 0, vx, 10, vw, vh);              int cs = sc.coordsys(into, viewKey, 0, vx, 10, vw, vh);
88              sc.matcher.add(cs, viewKey);              sc.map.put(new TextVob(style, 1.6f, name), cs, into);
             sc.map.put(new TextVob(style, 1.6f, name), cs);  
89          }          }
90      }      }
91  }  }

Legend:
Removed from v.1.6  
changed lines
  Added in v.1.7

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26