public void setErrorStripeVisible(boolean val) {
if (val) {
myEditor.getVerticalScrollBar().setPersistentUI(new MyErrorPanel());
} else {
myEditor.getVerticalScrollBar().setPersistentUI(ButtonlessScrollBarUI.createNormal());
}
}
private MyScrollingHelper() {
myLeftScroll = new JScrollBar(JScrollBar.HORIZONTAL);
myLeftScroll.setUI(ButtonlessScrollBarUI.createNormal());
myLeftEditors = new ArrayList<Editor>();
myRightEditors = new ArrayList<Editor>();
myMaxColumnsLeft = 0;
myMaxColumnsRight = 0;
myLeftModels = new ArrayList<ScrollingModel>();
myRightModels = new ArrayList<ScrollingModel>();
}
@Override
public void updateUI() {
setUI(ButtonlessScrollBarUI.createNormal());
}
