Parent Directory | Revision Log | Patch
revision 1.1 by tjl, Tue Mar 25 14:36:12 2003 UTC | revision 1.2 by tjl, Sun Apr 6 08:24:06 2003 UTC | |
---|---|---|
# | Line 78 public static final String rcsid = "$Id$ | Line 78 public static final String rcsid = "$Id$ |
78 | public String toString() { return "FAKESPAN "+text; } | public String toString() { return "FAKESPAN "+text; } |
79 | public boolean intersects(Span s) { return false; } | public boolean intersects(Span s) { return false; } |
80 | ||
81 | public String getScrollId() { return ""; } | |
82 | ||
83 | protected class FakeTextScrollBlock implements TextScrollBlock { | protected class FakeTextScrollBlock implements TextScrollBlock { |
84 | /* | /* |
85 | protected String str, id; | protected String str, id; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |