remove corner element

lib/ace/css/editor.css

@@ -28,20 +28,6 @@
     z-index: 4;
 }
 
-.ace_corner{
-    position : absolute;
-    left : 41px;
-    top : -5px;
-    border-radius : 6px 0 0 0;
-    border-color : #e8e8e8;
-    border-width : 1px 0 0 1px;
-    border-style : solid;
-    box-shadow : 4px 4px 0px #e8e8e8 inset;
-    width : 10px;
-    height : 10px;
-    z-index : 10000;
-}
-
 .ace_gutter {
     position: absolute;
     overflow : hidden;

lib/ace/virtual_renderer.js

@@ -75,10 +75,6 @@ var VirtualRenderer = function(container, theme) {
     this.$gutter.className = "ace_gutter";
     this.container.appendChild(this.$gutter);
     
-    this.$corner = dom.createElement("div");
-    this.$corner.className = "ace_corner";
-    this.container.appendChild(this.$corner);
-
     this.scroller = dom.createElement("div");
     this.scroller.className = "ace_scroller";
     this.container.appendChild(this.scroller);