Parent Directory | Revision Log | Patch
revision 1.5 by benja, Fri Nov 29 14:59:53 2002 UTC | revision 1.6 by benja, Sat Dec 7 22:59:23 2002 UTC | |
---|---|---|
# | Line 110 String rcsid = "$Id$"; | Line 110 String rcsid = "$Id$"; |
110 | return new ScrollBlockManager.SimpleTextSpan(this, 0, chars.length); | return new ScrollBlockManager.SimpleTextSpan(this, 0, chars.length); |
111 | } | } |
112 | ||
113 | public Span getSpan(int offs, int len) { | public Span getSpan(int offs1, int offs2) { |
114 | return new ScrollBlockManager.SimpleTextSpan(this, offs, offs+len); | return new ScrollBlockManager.SimpleTextSpan(this, offs1, offs2); |
115 | } | } |
116 | ||
117 | public boolean isFinalized() { | public boolean isFinalized() { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |