/[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.16 by benja, Fri Dec 6 01:03:51 2002 UTC revision 1.17 by tjl, Tue Jan 7 09:37:52 2003 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;
36      static TextStyle style =      static TextStyle style = null;
         GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 12);  
37      static String str = "Marked cells:";      static String str = "Marked cells:";
38    
39    
40      public void render(VobScene vs, int into, Fallback fallback,      public void render(VobScene vs, int into, Fallback fallback,
41                         Fallback.Win win) {                         Fallback.Win win) {
42            if(style == null)
43                style = GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 12);
44          float[] size = new float[2];          float[] size = new float[2];
45    
46          CellView cv = win.getCellView();          CellView cv = win.getCellView();

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

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