/[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.21 by benja, Sat Nov 2 01:23:45 2002 UTC revision 1.22 by humppake, Mon Nov 18 10:28:16 2002 UTC
# Line 42  String rcsid = "$Id$"; Line 42  String rcsid = "$Id$";
42          GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 16);          GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 16);
43      static Object key = new Object();      static Object key = new Object();
44      static SimpleLinebreaker breaker = new SimpleLinebreaker();      static SimpleLinebreaker breaker = new SimpleLinebreaker();
45      static CellVobFactory cvf = new CellVobFactory();      static BoxCellView cvf = new BoxCellView();
46    
47      int padding = 15;      int padding = 15;
48    

Legend:
Removed from v.1.21  
changed lines
  Added in v.1.22

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