remove gap on the right side of the gutter

This commit is contained in:
Fabian Jakobs 2010-10-26 14:55:58 +02:00
commit 986c5eddc2
12 changed files with 12 additions and 11 deletions

View file

@ -19,7 +19,7 @@
}
.%cssClass% .ace_gutter-layer .ace_gutter-cell {
padding-right: 15px;
padding-right: 6px;
}
.%cssClass% .ace_editor .ace_printMargin {

View file

@ -188,6 +188,7 @@ var themes = {
}
for (var name in themes) {
console.log("Converting " + name);
var tmTheme = fs.readFileSync(__dirname + "/tmthemes/" + themes[name] + ".tmTheme", "utf8");
var styles = extractStyles(parseTheme(tmTheme));