Parent Directory | Revision Log | 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; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |