/[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.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);

Legend:
Removed from v.1.17  
changed lines
  Added in v.1.18

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