comparison dwtx/text/edits/EditDocument.d @ 140:26688fec6d23

Following dsss compile errors
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 03:23:46 +0200
parents 6dcb0baaa031
children 7926b636c282
comparison
equal deleted inserted replaced
139:93a6ec48fd28 140:26688fec6d23
66 66
67 public void addPosition(Position position) { 67 public void addPosition(Position position) {
68 throw new UnsupportedOperationException(); 68 throw new UnsupportedOperationException();
69 } 69 }
70 70
71 public void addPosition(String category, Position position) throws BadLocationException, BadPositionCategoryException { 71 public void addPosition(String category, Position position) {
72 throw new UnsupportedOperationException(); 72 throw new UnsupportedOperationException();
73 } 73 }
74 74
75 public void addPositionCategory(String category) { 75 public void addPositionCategory(String category) {
76 throw new UnsupportedOperationException(); 76 throw new UnsupportedOperationException();
82 82
83 public void addPrenotifiedDocumentListener(IDocumentListener documentAdapter) { 83 public void addPrenotifiedDocumentListener(IDocumentListener documentAdapter) {
84 throw new UnsupportedOperationException(); 84 throw new UnsupportedOperationException();
85 } 85 }
86 86
87 public int computeIndexInCategory(String category, int offset) throws BadLocationException, BadPositionCategoryException { 87 public int computeIndexInCategory(String category, int offset) {
88 throw new UnsupportedOperationException(); 88 throw new UnsupportedOperationException();
89 } 89 }
90 90
91 public int computeNumberOfLines(String text) { 91 public int computeNumberOfLines(String text) {
92 throw new UnsupportedOperationException(); 92 throw new UnsupportedOperationException();