/[gzz]/gzz/gzz/view/MarkDecorator.java
ViewVC logotype

Diff of /gzz/gzz/view/MarkDecorator.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.15 by benja, Sat Nov 23 13:44:20 2002 UTC revision 1.16 by benja, Fri Dec 6 01:03:51 2002 UTC
# Line 33  import java.awt.Font; Line 33  import java.awt.Font;
33  public class MarkDecorator implements FallbackSceneDecorator {  public class MarkDecorator implements FallbackSceneDecorator {
34      static Object KEY = new Object(), TEXT_KEY = new Object();      static Object KEY = new Object(), TEXT_KEY = new Object();
35      static final int PAD = 10;      static final int PAD = 10;
     static CellView cv = new BoxCellView();  
36      static TextStyle style =      static TextStyle style =
37          GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 12);          GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 12);
38      static String str = "Marked cells:";      static String str = "Marked cells:";
# Line 43  public class MarkDecorator implements Fa Line 42  public class MarkDecorator implements Fa
42                         Fallback.Win win) {                         Fallback.Win win) {
43          float[] size = new float[2];          float[] size = new float[2];
44    
45            CellView cv = win.getCellView();
46          cv.getSize(null, win, size);          cv.getSize(null, win, size);
47    
48          int n = DefaultBinder.marks.size();          int n = DefaultBinder.marks.size();

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

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