Parent Directory | Revision Log | Patch
revision 1.5 by mark, Thu Nov 11 22:23:17 2004 UTC | revision 1.6 by mark, Thu Nov 11 22:36:46 2004 UTC | |
---|---|---|
# | Line 85 public class PlainDocument extends Abstr | Line 85 public class PlainDocument extends Abstr |
85 | ||
86 | } | } |
87 | catch (BadLocationException e) | catch (BadLocationException e) |
88 | { | { |
89 | lines = new Element[1]; | lines = new Element[1]; |
90 | lines[0] = createLeafElement(rootElement, null, 0, 1); | lines[0] = createLeafElement(rootElement, null, 0, 1); |
91 | } | } |
92 | ||
93 | ((BranchElement) rootElement).replace(0, rootElement.getElementCount(), lines); | ((BranchElement) rootElement).replace(0, rootElement.getElementCount(), lines); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |