equal
deleted
inserted
replaced
1120 */ |
1120 */ |
1121 public int getNextVisualPositionFrom(JTextComponent t, int pos, |
1121 public int getNextVisualPositionFrom(JTextComponent t, int pos, |
1122 Position.Bias b, int direction, Position.Bias[] biasRet) |
1122 Position.Bias b, int direction, Position.Bias[] biasRet) |
1123 throws BadLocationException{ |
1123 throws BadLocationException{ |
1124 Document doc = editor.getDocument(); |
1124 Document doc = editor.getDocument(); |
|
1125 |
|
1126 if (pos < -1 || pos > doc.getLength()) { |
|
1127 throw new BadLocationException("Invalid position", pos); |
|
1128 } |
|
1129 |
1125 if (doc instanceof AbstractDocument) { |
1130 if (doc instanceof AbstractDocument) { |
1126 ((AbstractDocument)doc).readLock(); |
1131 ((AbstractDocument)doc).readLock(); |
1127 } |
1132 } |
1128 try { |
1133 try { |
1129 if (painted) { |
1134 if (painted) { |
1592 */ |
1597 */ |
1593 public int getNextVisualPositionFrom(int pos, Position.Bias b, Shape a, |
1598 public int getNextVisualPositionFrom(int pos, Position.Bias b, Shape a, |
1594 int direction, |
1599 int direction, |
1595 Position.Bias[] biasRet) |
1600 Position.Bias[] biasRet) |
1596 throws BadLocationException { |
1601 throws BadLocationException { |
1597 if (pos < -1) { |
1602 if (pos < -1 || pos > getDocument().getLength()) { |
1598 throw new BadLocationException("invalid position", pos); |
1603 throw new BadLocationException("invalid position", pos); |
1599 } |
1604 } |
1600 if( view != null ) { |
1605 if( view != null ) { |
1601 int nextPos = view.getNextVisualPositionFrom(pos, b, a, |
1606 int nextPos = view.getNextVisualPositionFrom(pos, b, a, |
1602 direction, biasRet); |
1607 direction, biasRet); |