148 |
} |
} |
149 |
catch (BadLocationException e) |
catch (BadLocationException e) |
150 |
{ |
{ |
151 |
// This should never happen. |
AssertionError ae = new AssertionError("Unexpected bad location"); |
152 |
|
ae.initCause(e); |
153 |
|
throw ae; |
154 |
} |
} |
155 |
} |
} |
156 |
|
|
253 |
int end = child.getEndOffset(); |
int end = child.getEndOffset(); |
254 |
try |
try |
255 |
{ |
{ |
256 |
el.getDocument().getText(start, start + end, seg); |
el.getDocument().getText(start, end - start, seg); |
257 |
} |
} |
258 |
catch (BadLocationException ex) |
catch (BadLocationException ex) |
259 |
{ |
{ |
334 |
} |
} |
335 |
catch (BadLocationException ble) |
catch (BadLocationException ble) |
336 |
{ |
{ |
337 |
//this should never happen |
AssertionError ae = new AssertionError("Unexpected bad location"); |
338 |
|
ae.initCause(ble); |
339 |
|
throw ae; |
340 |
} |
} |
341 |
|
|
342 |
int pos = Utilities.getTabbedTextOffset(s, metrics, rec.x, (int)x, this, start); |
int pos = Utilities.getTabbedTextOffset(s, metrics, rec.x, (int)x, this, start); |