public void setErrorStripeVisible(boolean val) { if (val) { myEditor.getVerticalScrollBar().setPersistentUI(new MyErrorPanel()); } else { myEditor.getVerticalScrollBar().setPersistentUI(ButtonlessScrollBarUI.createNormal()); } }
void repaint(int startOffset, int endOffset) { markDirtied(); ProperTextRange range = offsetToYPosition(startOffset, endOffset); myEditor .getVerticalScrollBar() .repaint(0, range.getStartOffset(), PREFERRED_WIDTH, range.getLength() + getMinHeight()); }
public void setErrorStripeRenderer(ErrorStripeRenderer renderer) { assertIsDispatchThread(); myErrorStripeRenderer = renderer; // try to not cancel tooltips here, since it is being called after every writeAction, even to // the console // HintManager.getInstance().getTooltipController().cancelTooltips(); myEditor.getVerticalScrollBar().repaint(); }
private void recalcEditorDimensions() { EditorImpl.MyScrollBar scrollBar = myEditor.getVerticalScrollBar(); int scrollBarHeight = scrollBar.getSize().height; myEditorScrollbarTop = scrollBar.getDecScrollButtonHeight() /* + 1*/; int editorScrollbarBottom = scrollBar.getIncScrollButtonHeight(); myEditorTargetHeight = scrollBarHeight - myEditorScrollbarTop - editorScrollbarBottom; myEditorSourceHeight = myEditor.getPreferredHeight(); }
private MyErrorPanel getErrorPanel() { ScrollBarUI ui = myEditor.getVerticalScrollBar().getUI(); return ui instanceof MyErrorPanel ? (MyErrorPanel) ui : null; }