remove unneeded </div>, and remove entities not present in xml
This commit is contained in:
parent
bade5d6578
commit
93fb27747e
2 changed files with 5 additions and 5 deletions
|
|
@ -125,7 +125,7 @@ var Gutter = function(parentEl) {
|
|||
|
||||
var wrappedRowLength = this.session.getRowLength(i) - 1;
|
||||
while (wrappedRowLength--) {
|
||||
html.push("</div><div class='ace_gutter-cell' style='height:", config.lineHeight, "px'>¦</div>");
|
||||
html.push("</div><div class='ace_gutter-cell' style='height:", config.lineHeight, "px'>\xA6");
|
||||
}
|
||||
|
||||
html.push("</div>");
|
||||
|
|
|
|||
|
|
@ -60,10 +60,10 @@ var Text = function(parentEl) {
|
|||
|
||||
oop.implement(this, EventEmitter);
|
||||
|
||||
this.EOF_CHAR = "¶";
|
||||
this.EOL_CHAR = "¬";
|
||||
this.TAB_CHAR = "→";
|
||||
this.SPACE_CHAR = "·";
|
||||
this.EOF_CHAR = "\xB6"; //"¶";
|
||||
this.EOL_CHAR = "\xAC"; //"¬";
|
||||
this.TAB_CHAR = "\u2192"; //"→";
|
||||
this.SPACE_CHAR = "\xB7"; //"·";
|
||||
this.$padding = 0;
|
||||
|
||||
this.setPadding = function(padding) {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue