more folding css tweaks

This commit is contained in:
Fabian Jakobs 2011-12-09 17:18:46 +01:00
commit dac9d03944
2 changed files with 13 additions and 7 deletions

View file

@ -388,7 +388,10 @@ var Text = function(parentEl) {
if (!this.$textToken[token.type]) {
var classes = "ace_" + token.type.replace(/\./g, " ace_");
stringBuilder.push("<span class='", classes, "'>", output, "</span>");
var style = "";
if (token.type == "fold")
style = " style='width:" + (token.value.length * this.config.characterWidth) + "px;' ";
stringBuilder.push("<span class='", classes, "'", style, ">", output, "</span>");
}
else {
stringBuilder.push(output);
@ -400,7 +403,6 @@ var Text = function(parentEl) {
var chars = 0;
var split = 0;
var splitChars;
var characterWidth = this.config.characterWidth;
var screenColumn = 0;
var self = this;