* Build ace
This commit is contained in:
parent
f7be320575
commit
030a1d079a
7 changed files with 123 additions and 7 deletions
|
|
@ -14602,6 +14602,10 @@ var VirtualRenderer = function(container, theme) {
|
|||
this.$gutter = dom.createElement("div");
|
||||
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";
|
||||
|
|
@ -14645,6 +14649,13 @@ var VirtualRenderer = function(container, theme) {
|
|||
var scrollLeft = _self.scroller.scrollLeft;
|
||||
_self.scrollLeft = scrollLeft;
|
||||
_self.session.setScrollLeft(scrollLeft);
|
||||
|
||||
if (scrollLeft == 0) {
|
||||
_self.$gutter.className = "ace_gutter";
|
||||
}
|
||||
else {
|
||||
_self.$gutter.className = "ace_gutter horscroll";
|
||||
}
|
||||
});
|
||||
|
||||
this.cursorPos = {
|
||||
|
|
@ -16760,7 +16771,6 @@ var RenderLoop = function(onRender, win) {
|
|||
exports.RenderLoop = RenderLoop;
|
||||
});
|
||||
define("text!ace/css/editor.css", [], "@import url(//fonts.googleapis.com/css?family=Droid+Sans+Mono);\n" +
|
||||
"\n" +
|
||||
"\n" +
|
||||
".ace_editor {\n" +
|
||||
" position: absolute;\n" +
|
||||
|
|
@ -16790,12 +16800,31 @@ define("text!ace/css/editor.css", [], "@import url(//fonts.googleapis.com/css?fa
|
|||
" z-index: 4;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_corner{\n" +
|
||||
" position : absolute;\n" +
|
||||
" left : 41px;\n" +
|
||||
" top : -5px;\n" +
|
||||
" border-radius : 6px 0 0 0;\n" +
|
||||
" border-color : #e8e8e8;\n" +
|
||||
" border-width : 1px 0 0 1px;\n" +
|
||||
" border-style : solid;\n" +
|
||||
" box-shadow : 4px 4px 0px #e8e8e8 inset;\n" +
|
||||
" width : 10px;\n" +
|
||||
" height : 10px;\n" +
|
||||
" z-index : 10000;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter {\n" +
|
||||
" position: absolute;\n" +
|
||||
" overflow : hidden;\n" +
|
||||
" height: 100%;\n" +
|
||||
" width: auto;\n" +
|
||||
" cursor: default;\n" +
|
||||
" z-index: 1000;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter.horscroll {\n" +
|
||||
" box-shadow: 0px 0px 20px rgba(0,0,0,0.4);\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter-cell {\n" +
|
||||
|
|
|
|||
|
|
@ -11,7 +11,7 @@
|
|||
|
||||
Ace
|
||||
version 0.2.0
|
||||
commit 491250b68a81303485115967905c33ec478e5291
|
||||
commit d6a1779f4b00794b0dc56917371e25492083e6d7
|
||||
|
||||
|
||||
-->
|
||||
|
|
|
|||
File diff suppressed because one or more lines are too long
|
|
@ -11898,6 +11898,10 @@ var VirtualRenderer = function(container, theme) {
|
|||
this.$gutter = dom.createElement("div");
|
||||
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";
|
||||
|
|
@ -11941,6 +11945,13 @@ var VirtualRenderer = function(container, theme) {
|
|||
var scrollLeft = _self.scroller.scrollLeft;
|
||||
_self.scrollLeft = scrollLeft;
|
||||
_self.session.setScrollLeft(scrollLeft);
|
||||
|
||||
if (scrollLeft == 0) {
|
||||
_self.$gutter.className = "ace_gutter";
|
||||
}
|
||||
else {
|
||||
_self.$gutter.className = "ace_gutter horscroll";
|
||||
}
|
||||
});
|
||||
|
||||
this.cursorPos = {
|
||||
|
|
@ -14056,7 +14067,6 @@ var RenderLoop = function(onRender, win) {
|
|||
exports.RenderLoop = RenderLoop;
|
||||
});
|
||||
ace.define("text!ace/css/editor.css", [], "@import url(//fonts.googleapis.com/css?family=Droid+Sans+Mono);\n" +
|
||||
"\n" +
|
||||
"\n" +
|
||||
".ace_editor {\n" +
|
||||
" position: absolute;\n" +
|
||||
|
|
@ -14086,12 +14096,31 @@ ace.define("text!ace/css/editor.css", [], "@import url(//fonts.googleapis.com/cs
|
|||
" z-index: 4;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_corner{\n" +
|
||||
" position : absolute;\n" +
|
||||
" left : 41px;\n" +
|
||||
" top : -5px;\n" +
|
||||
" border-radius : 6px 0 0 0;\n" +
|
||||
" border-color : #e8e8e8;\n" +
|
||||
" border-width : 1px 0 0 1px;\n" +
|
||||
" border-style : solid;\n" +
|
||||
" box-shadow : 4px 4px 0px #e8e8e8 inset;\n" +
|
||||
" width : 10px;\n" +
|
||||
" height : 10px;\n" +
|
||||
" z-index : 10000;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter {\n" +
|
||||
" position: absolute;\n" +
|
||||
" overflow : hidden;\n" +
|
||||
" height: 100%;\n" +
|
||||
" width: auto;\n" +
|
||||
" cursor: default;\n" +
|
||||
" z-index: 1000;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter.horscroll {\n" +
|
||||
" box-shadow: 0px 0px 20px rgba(0,0,0,0.4);\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter-cell {\n" +
|
||||
|
|
|
|||
|
|
@ -11898,6 +11898,10 @@ var VirtualRenderer = function(container, theme) {
|
|||
this.$gutter = dom.createElement("div");
|
||||
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";
|
||||
|
|
@ -11941,6 +11945,13 @@ var VirtualRenderer = function(container, theme) {
|
|||
var scrollLeft = _self.scroller.scrollLeft;
|
||||
_self.scrollLeft = scrollLeft;
|
||||
_self.session.setScrollLeft(scrollLeft);
|
||||
|
||||
if (scrollLeft == 0) {
|
||||
_self.$gutter.className = "ace_gutter";
|
||||
}
|
||||
else {
|
||||
_self.$gutter.className = "ace_gutter horscroll";
|
||||
}
|
||||
});
|
||||
|
||||
this.cursorPos = {
|
||||
|
|
@ -14056,7 +14067,6 @@ var RenderLoop = function(onRender, win) {
|
|||
exports.RenderLoop = RenderLoop;
|
||||
});
|
||||
define("text!ace/css/editor.css", [], "@import url(//fonts.googleapis.com/css?family=Droid+Sans+Mono);\n" +
|
||||
"\n" +
|
||||
"\n" +
|
||||
".ace_editor {\n" +
|
||||
" position: absolute;\n" +
|
||||
|
|
@ -14086,12 +14096,31 @@ define("text!ace/css/editor.css", [], "@import url(//fonts.googleapis.com/css?fa
|
|||
" z-index: 4;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_corner{\n" +
|
||||
" position : absolute;\n" +
|
||||
" left : 41px;\n" +
|
||||
" top : -5px;\n" +
|
||||
" border-radius : 6px 0 0 0;\n" +
|
||||
" border-color : #e8e8e8;\n" +
|
||||
" border-width : 1px 0 0 1px;\n" +
|
||||
" border-style : solid;\n" +
|
||||
" box-shadow : 4px 4px 0px #e8e8e8 inset;\n" +
|
||||
" width : 10px;\n" +
|
||||
" height : 10px;\n" +
|
||||
" z-index : 10000;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter {\n" +
|
||||
" position: absolute;\n" +
|
||||
" overflow : hidden;\n" +
|
||||
" height: 100%;\n" +
|
||||
" width: auto;\n" +
|
||||
" cursor: default;\n" +
|
||||
" z-index: 1000;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter.horscroll {\n" +
|
||||
" box-shadow: 0px 0px 20px rgba(0,0,0,0.4);\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter-cell {\n" +
|
||||
|
|
|
|||
File diff suppressed because one or more lines are too long
|
|
@ -12403,6 +12403,10 @@ var VirtualRenderer = function(container, theme) {
|
|||
this.$gutter = dom.createElement("div");
|
||||
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";
|
||||
|
|
@ -12446,6 +12450,13 @@ var VirtualRenderer = function(container, theme) {
|
|||
var scrollLeft = _self.scroller.scrollLeft;
|
||||
_self.scrollLeft = scrollLeft;
|
||||
_self.session.setScrollLeft(scrollLeft);
|
||||
|
||||
if (scrollLeft == 0) {
|
||||
_self.$gutter.className = "ace_gutter";
|
||||
}
|
||||
else {
|
||||
_self.$gutter.className = "ace_gutter horscroll";
|
||||
}
|
||||
});
|
||||
|
||||
this.cursorPos = {
|
||||
|
|
@ -14561,7 +14572,6 @@ var RenderLoop = function(onRender, win) {
|
|||
exports.RenderLoop = RenderLoop;
|
||||
});
|
||||
__ace_shadowed__.define("text!ace/css/editor.css", [], "@import url(//fonts.googleapis.com/css?family=Droid+Sans+Mono);\n" +
|
||||
"\n" +
|
||||
"\n" +
|
||||
".ace_editor {\n" +
|
||||
" position: absolute;\n" +
|
||||
|
|
@ -14591,12 +14601,31 @@ __ace_shadowed__.define("text!ace/css/editor.css", [], "@import url(//fonts.goog
|
|||
" z-index: 4;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_corner{\n" +
|
||||
" position : absolute;\n" +
|
||||
" left : 41px;\n" +
|
||||
" top : -5px;\n" +
|
||||
" border-radius : 6px 0 0 0;\n" +
|
||||
" border-color : #e8e8e8;\n" +
|
||||
" border-width : 1px 0 0 1px;\n" +
|
||||
" border-style : solid;\n" +
|
||||
" box-shadow : 4px 4px 0px #e8e8e8 inset;\n" +
|
||||
" width : 10px;\n" +
|
||||
" height : 10px;\n" +
|
||||
" z-index : 10000;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter {\n" +
|
||||
" position: absolute;\n" +
|
||||
" overflow : hidden;\n" +
|
||||
" height: 100%;\n" +
|
||||
" width: auto;\n" +
|
||||
" cursor: default;\n" +
|
||||
" z-index: 1000;\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter.horscroll {\n" +
|
||||
" box-shadow: 0px 0px 20px rgba(0,0,0,0.4);\n" +
|
||||
"}\n" +
|
||||
"\n" +
|
||||
".ace_gutter-cell {\n" +
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue