remove gap on the right side of the gutter

fjakobs · fjakobs · commit 986c5eddc217 · 2010-10-26T14:55:58.000+02:00
diff --git a/src/ace/theme/Clouds.js b/src/ace/theme/Clouds.js
@@ -22,7 +22,7 @@ require.def("ace/theme/Clouds",
 }\
 \
 .ace-clouds .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-clouds .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/CloudsMidnight.js b/src/ace/theme/CloudsMidnight.js
@@ -22,7 +22,7 @@ require.def("ace/theme/CloudsMidnight",
 }\
 \
 .ace-clouds-midnight .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-clouds-midnight .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/Cobalt.js b/src/ace/theme/Cobalt.js
@@ -22,7 +22,7 @@ require.def("ace/theme/Cobalt",
 }\
 \
 .ace-cobalt .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-cobalt .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/Dawn.js b/src/ace/theme/Dawn.js
@@ -22,7 +22,7 @@ require.def("ace/theme/Dawn",
 }\
 \
 .ace-dawn .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-dawn .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/IdleFingers.js b/src/ace/theme/IdleFingers.js
@@ -22,7 +22,7 @@ require.def("ace/theme/IdleFingers",
 }\
 \
 .ace-idle-fingers .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-idle-fingers .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/KrTheme.js b/src/ace/theme/KrTheme.js
@@ -22,7 +22,7 @@ require.def("ace/theme/KrTheme",
 }\
 \
 .ace-kr-theme .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-kr-theme .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/MonoIndustrial.js b/src/ace/theme/MonoIndustrial.js
@@ -22,7 +22,7 @@ require.def("ace/theme/MonoIndustrial",
 }\
 \
 .ace-mono-industrial .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-mono-industrial .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/Monokai.js b/src/ace/theme/Monokai.js
@@ -22,7 +22,7 @@ require.def("ace/theme/Monokai",
 }\
 \
 .ace-monokai .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-monokai .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/Twilight.js b/src/ace/theme/Twilight.js
@@ -22,7 +22,7 @@ require.def("ace/theme/Twilight",
 }\
 \
 .ace-twilight .ace_gutter-layer .ace_gutter-cell {\
-  padding-right: 15px;\
+  padding-right: 6px;\
 }\
 \
 .ace-twilight .ace_editor .ace_printMargin {\
diff --git a/src/ace/theme/tm.css b/src/ace/theme/tm.css
@@ -19,7 +19,7 @@
 }
 
 .ace-tm .ace_gutter-layer .ace_gutter-cell {
-  padding-right: 15px;
+  padding-right: 6px;
 }
 
 .ace-tm .ace_editor .ace_printMargin {
diff --git a/tool/Theme.tmpl.css b/tool/Theme.tmpl.css
@@ -19,7 +19,7 @@
 }
 
 .%cssClass% .ace_gutter-layer .ace_gutter-cell {
-  padding-right: 15px;
+  padding-right: 6px;
 }
 
 .%cssClass% .ace_editor .ace_printMargin {
diff --git a/tool/tmtheme.js b/tool/tmtheme.js
@@ -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));

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ require.def("ace/theme/Clouds",`
`22`	`22`	`}\`
`23`	`23`	`\`
`24`	`24`	`.ace-clouds .ace_gutter-layer .ace_gutter-cell {\`
`25`		`- padding-right: 15px;\`
	`25`	`+ padding-right: 6px;\`
`26`	`26`	`}\`
`27`	`27`	`\`
`28`	`28`	`.ace-clouds .ace_editor .ace_printMargin {\`
Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@`
`19`	`19`	`}`
`20`	`20`
`21`	`21`	`.ace-tm .ace_gutter-layer .ace_gutter-cell {`
`22`		`- padding-right: 15px;`
	`22`	`+ padding-right: 6px;`
`23`	`23`	`}`
`24`	`24`
`25`	`25`	`.ace-tm .ace_editor .ace_printMargin {`