Parent Directory | Revision Log | Patch
revision 1.2 by mark, Sat Sep 4 17:14:01 2004 UTC | revision 1.3 by mkoch, Sun Nov 21 12:56:30 2004 UTC | |
---|---|---|
# | Line 43 import java.awt.FontMetrics; | Line 43 import java.awt.FontMetrics; |
43 | import java.awt.Graphics; | import java.awt.Graphics; |
44 | import java.awt.Shape; | import java.awt.Shape; |
45 | ||
46 | public class FieldView extends PlainView | public class FieldView extends PlainView |
47 | { | { |
48 | public FieldView(Element elem) | public FieldView(Element elem) |
# | Line 79 public class FieldView extends PlainView | Line 78 public class FieldView extends PlainView |
78 | { | { |
79 | // This should never happen. | // This should never happen. |
80 | text = ""; | text = ""; |
System.out.println("Michael: FieldView.getPreferredSpan: Error"); | ||
81 | } | } |
82 | ||
83 | return fm.stringWidth(text); | return fm.stringWidth(text); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |