28 |
/** An endpoint that a buoy con be anchored to. |
/** An endpoint that a buoy con be anchored to. |
29 |
*/ |
*/ |
30 |
|
|
31 |
public class BuoyAnchor extends Vob implements HBox { |
public class BuoyAnchor extends HBox.VobHBox { |
32 |
String rcsid = "$Id$"; |
String rcsid = "$Id$"; |
33 |
static public boolean dbg = false; |
static public boolean dbg = false; |
34 |
static private void p(String s) { if(dbg) System.out.println(s); } |
static private void p(String s) { if(dbg) System.out.println(s); } |
80 |
public float getHeight(float scale) { return style.getAscent(scale); } |
public float getHeight(float scale) { return style.getAscent(scale); } |
81 |
public float getDepth(float scale) { return style.getDescent(scale); } |
public float getDepth(float scale) { return style.getDescent(scale); } |
82 |
|
|
|
public Vob getVob(float scale) { |
|
|
//this.scale = scale; |
|
|
p("linevob getVob()"); |
|
|
return this; |
|
|
} |
|
|
|
|
83 |
public void setPrev(HBox b) { } |
public void setPrev(HBox b) { } |
84 |
|
|
85 |
/* |
/* |