private void moveScrollBar(int k) { myBoundedRangeModel.setValue(myBoundedRangeModel.getValue() + k); }
private void scrollToBottom() { myBoundedRangeModel.setValue(myTermSize.height); }