Parent Directory | Revision Log | Patch
revision 1.17 by benja, Thu Oct 10 15:57:42 2002 UTC | revision 1.18 by benja, Thu Oct 10 17:53:41 2002 UTC | |
---|---|---|
# | Line 108 String rcsid = "$Id$"; | Line 108 String rcsid = "$Id$"; |
108 | else if(fallback.mode == fallback.SEARCH) | else if(fallback.mode == fallback.SEARCH) |
109 | ch.addBox(text("Search for: " + fallback.binder.buffer)); | ch.addBox(text("Search for: " + fallback.binder.buffer)); |
110 | else return; | else return; |
111 | ||
112 | // XXX linebreaking! (only breaks *between* boxes...) | |
113 | ||
114 | float w = size.width - 2*padding; | float w = size.width - 2*padding; |
115 | HBroken br = breaker.breakLines(ch, w, 1.0f); | HBroken br = breaker.breakLines(ch, w, 1.0f); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |