From 06091bb887be1d6a6b7252a670d689fa30afe511 Mon Sep 17 00:00:00 2001
From: Dmitry Batrak <Dmitry.Batrak@jetbrains.com>
Date: Thu, 10 Dec 2015 20:27:42 +0300
Subject: [PATCH] avoid gaps in selection rendering for fractional coordinates
 - use proper rounding

---
 .../com/intellij/openapi/editor/impl/view/EditorPainter.java  | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/impl/view/EditorPainter.java b/platform/platform-impl/src/com/intellij/openapi/editor/impl/view/EditorPainter.java
index e19fe08b0150..8fe481d5c767 100644
--- a/platform/platform-impl/src/com/intellij/openapi/editor/impl/view/EditorPainter.java
+++ b/platform/platform-impl/src/com/intellij/openapi/editor/impl/view/EditorPainter.java
@@ -261,7 +261,9 @@ class EditorPainter implements TextDrawingCallback {
         color.equals(myEditor.getColorsScheme().getDefaultBackground()) ||
         color.equals(myEditor.getBackgroundColor())) return;
     g.setColor(color);
-    g.fillRect((int)x, y, (int)width, myView.getLineHeight());
+    int xStartRounded = (int)x;
+    int xEndRounded = (int)(x + width);
+    g.fillRect(xStartRounded, y, xEndRounded - xStartRounded, myView.getLineHeight());
   }
 
   private void paintCustomRenderers(final Graphics2D g, final int startOffset, final int endOffset) {