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

Diff of /gzz/gzz/view/DimDecorator.java

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

revision 1.22 by benja, Tue Jan 7 00:57:00 2003 UTC revision 1.23 by tjl, Tue Jan 7 09:37:51 2003 UTC
# Line 39  String rcsid = "$Id$"; Line 39  String rcsid = "$Id$";
39      private static void p(String s) { if(dbg) pa(s); }      private static void p(String s) { if(dbg) pa(s); }
40      private static void pa(String s) { System.err.println(s); }      private static void pa(String s) { System.err.println(s); }
41    
42      static TextStyle style =      static TextStyle style = null;
         GraphicsAPI.getInstance().getTextStyle("SansSerif", java.awt.Font.PLAIN, 12);  
43    
44      static Vob bg = new RectBgVob();      static Vob bg = new RectBgVob();
45      static Vob conn = new SimpleConnection(0.5f, 0.5f, 0.5f, 0.5f, Color.red);      static Vob conn = new SimpleConnection(0.5f, 0.5f, 0.5f, 0.5f, Color.red);
# Line 54  String rcsid = "$Id$"; Line 53  String rcsid = "$Id$";
53      int space = 2;      int space = 2;
54    
55      public void render(VobScene sc, int into, Fallback fallback, Fallback.Win win) {      public void render(VobScene sc, int into, Fallback fallback, Fallback.Win win) {
56            if(style == null)
57                style = GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 12);
58          //p("Placing DimDecorations");          //p("Placing DimDecorations");
59    
60          int ndims = win.dimsIndices.length;          int ndims = win.dimsIndices.length;

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

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