diff --git a/source/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java b/source/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java index 47625fcee11f..5e89bbb9e603 100644 --- a/source/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java +++ b/source/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java @@ -13,6 +13,7 @@ import com.intellij.codeInsight.hint.TooltipController; import com.intellij.codeInsight.hint.TooltipGroup; import com.intellij.codeInsight.daemon.impl.HighlightInfoComposite; import com.intellij.codeInsight.daemon.impl.HighlightInfo; +import com.intellij.codeInsight.daemon.DaemonCodeAnalyzerSettings; import com.intellij.ide.ui.LafManager; import com.intellij.openapi.application.ApplicationManager; import com.intellij.openapi.application.impl.ApplicationImpl; @@ -376,7 +377,7 @@ public class EditorMarkupModelImpl extends MarkupModelImpl implements EditorMark } private int getMinHeight() { - return 10; + return DaemonCodeAnalyzerSettings.getInstance().getErrorStripeMarkMinHeight(); } private class ErrorMarkPile {