From 57a03e78845173cfc5768198d54e2a7f7dc49e8a Mon Sep 17 00:00:00 2001
From: Nathan Sobo <nathan@github.com>
Date: Fri, 25 Jul 2014 16:37:50 -0700
Subject: [PATCH] Kill dummy highlight component now that Chrome 35 fixes
 render artifact

Previously, removing the last highlight caused rendering artifacts.
Chrome 35 no longer exhibits this problem so we can remove this
workaround.
---
 src/editor-component.coffee | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/editor-component.coffee b/src/editor-component.coffee
index 51a5d21f4..0246f57df 100644
--- a/src/editor-component.coffee
+++ b/src/editor-component.coffee
@@ -12,8 +12,6 @@ ScrollbarComponent = require './scrollbar-component'
 ScrollbarCornerComponent = require './scrollbar-corner-component'
 SubscriberMixin = require './subscriber-mixin'
 
-DummyHighlightDecoration = {id: 'dummy', startPixelPosition: {top: 0, left: 0}, endPixelPosition: {top: 0, left: 0}, decorations: [{class: 'dummy'}]}
-
 module.exports =
 EditorComponent = React.createClass
   displayName: 'EditorComponent'
@@ -346,11 +344,6 @@ EditorComponent = React.createClass
               decorations: []
             filteredDecorations[markerId].decorations.push decorationParams
 
-    # At least in Chromium 31, removing the last highlight causes a rendering
-    # artifact where chunks of the lines disappear, so we always leave this
-    # dummy highlight in place to prevent that.
-    filteredDecorations['dummy'] = DummyHighlightDecoration
-
     filteredDecorations
 
   observeEditor: ->