void returnResponse() {
try {
int p = Math.min(initialPos, run.getDocument().getLength());
int l =
Math.min(run.getDocument().getLength() - p, maxLen >= 0 ? maxLen : Integer.MAX_VALUE);
resultQueue.offer(run.getText(p, l));
} catch (BadLocationException ex) {
// this cannot happen
resultQueue.offer("");
}
}
public void setDot(FilterBypass fb, int dot, Bias bias) {
if (dot < initialPos) {
dot = Math.min(initialPos, run.getDocument().getLength());
}
fb.setDot(dot, bias);
}
