public void reinitSettings(boolean updateGutterSize) {
    updateFoldingOutlineVisibility();
    updateSize(false, updateGutterSize);
    repaint();
  }
public void reinitSettings(boolean updateGutterSize)