From c4524f2650cc4d5d8893914c2c72cb00dcd4e2f6 Mon Sep 17 00:00:00 2001
From: Alexey Kudravtsev <cdr@jetbrains.com>
Date: Wed, 16 Feb 2005 19:51:14 +0300
Subject: [PATCH] (no message)

---
 .../intellij/openapi/editor/impl/EditorMarkupModelImpl.java    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 {