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

Diff of /gzz/gzz/view/LastOpDecorator.java

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

revision 1.3 by tjl, Wed Aug 21 06:18:35 2002 UTC revision 1.4 by benja, Fri Sep 13 11:05:39 2002 UTC
# Line 76  String rcsid = "$Id$"; Line 76  String rcsid = "$Id$";
76              s = "Search for: " + fallback.binder.buffer;              s = "Search for: " + fallback.binder.buffer;
77          else return;          else return;
78    
79          int w = size.width - padding;          int w = (int)style.getWidth(s, 1.0f);
80          int h = (int)style.getHeight(1.0f) + 10;          int h = (int)style.getHeight(1.0f);
81    
82          int x = padding;          int x = padding;
83          int y = size.height - padding - h;          int y = size.height - padding - h;

Legend:
Removed from v.1.3  
changed lines
  Added in v.1.4

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