private int getVerticalScrollBarWidth() {
    JScrollBar scrollBar = myEditor.getScrollPane().getVerticalScrollBar();
    int width = scrollBar.getWidth();
    if (width <= 0) {
      width = scrollBar.getPreferredSize().width;
    }
    return width;
  }
private int getVerticalScrollBarWidth()