source_editor.js in cable-0.9.16

- old
+ new

@@ -48,9 +48,9 @@
 	var vp = tinyMCEPopup.dom.getViewPort(window), el;
 
 	el = document.getElementById('htmlSource');
 
 	if (el) {
-		el.style.width  = (vp.w - 20) + 'px';
+		el.style.width = (vp.w - 20) + 'px';
 		el.style.height = (vp.h - 65) + 'px';
 	}
 }