void (char ch) { myPositionUpdated = true; myTracker.unblock(); String text = myTracker.myPositionDocument.getText(); int idx = text.lastIndexOf(ch, myCaretOffset); if (idx == -1) return; myCaretOffset = idx; }