jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

show middle dots for spaces in "show invisibles" mode

Browse source
This commit is contained in:
Fabian Jakobs 2010-04-27 09:41:18 +02:00
commit ac50406a0a
1 changed files with 16 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

19
src/ace/layer/Text.js
View file

@ -10,11 +10,10 @@ ace.layer.Text = function(parentEl) {
(function() { (function() {
// this.EOF_CHAR = "¶";
this.EOF_CHAR = "¶"; this.EOF_CHAR = "¶";
this.EOL_CHAR = "¬"; this.EOL_CHAR = "¬";
// this.TAB_CHAR = "‣";
this.TAB_CHAR = "→"; this.TAB_CHAR = "→";
this.SPACE_CHAR = "·";
this.setTokenizer = function(tokenizer) { this.setTokenizer = function(tokenizer) {
this.tokenizer = tokenizer; this.tokenizer = tokenizer;
@ -104,13 +103,27 @@ ace.layer.Text = function(parentEl) {
this.renderLine = function(stringBuilder, row) { this.renderLine = function(stringBuilder, row) {
var tokens = this.tokenizer.getTokens(row); var tokens = this.tokenizer.getTokens(row);
if (this.$showInvisibles) {
var self = this;
var spaceRe = /[\v\f \u00a0\u2000\u2001\u2002\u2003\u2004\u2005\u2006\u2007\u2008\u2009\u200a\u200b\u2028\u2029\u3000]+/g;
var spaceReplace = function(space) {
var space = new Array(space.length+1).join(self.SPACE_CHAR);
return "<span class='invisible'>" + space + "</span>";
};
}
else {
var spaceRe = /[\v\f \u00a0\u2000\u2001\u2002\u2003\u2004\u2005\u2006\u2007\u2008\u2009\u200a\u200b\u2028\u2029\u3000]/g;
var spaceReplace = "&nbsp;";
}
for ( var i = 0; i < tokens.length; i++) { for ( var i = 0; i < tokens.length; i++) {
var token = tokens[i]; var token = tokens[i];
var output = token.value var output = token.value
.replace(/&/g, "&amp;") .replace(/&/g, "&amp;")
.replace(/</g, "&lt;") .replace(/</g, "&lt;")
.replace(/[\v\f \u00a0\u2000\u2001\u2002\u2003\u2004\u2005\u2006\u2007\u2008\u2009\u200a\u200b\u2028\u2029\u3000]/g, "&nbsp;") .replace(spaceRe, spaceReplace)
.replace(/\t/g, this.$tabString); .replace(/\t/g, this.$tabString);
if (token.type !== "text") { if (token.type !== "text") {