/[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.14 by benja, Wed Oct 2 18:40:43 2002 UTC revision 1.15 by tjl, Tue Oct 8 07:34:54 2002 UTC
# Line 123  String rcsid = "$Id$"; Line 123  String rcsid = "$Id$";
123    
124      /** Get the HBox for some text. */      /** Get the HBox for some text. */
125      HBox text(String s, int i) {      HBox text(String s, int i) {
126          return new TextVob(style, 1.0f, s, new Integer(i));          return new TextVob(style, s, true, new Integer(i));
127      }      }
128    
129      HBox text(String s) { return text(s, 1); }      HBox text(String s) { return text(s, 1); }

Legend:
Removed from v.1.14  
changed lines
  Added in v.1.15

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