From 08e721b22fde5d552658796e927ba4496b927186 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Wed, 6 Oct 2010 14:56:08 +0200
Subject: [PATCH] fix formatting

---
 src/ace/VirtualRenderer.js | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/ace/VirtualRenderer.js b/src/ace/VirtualRenderer.js
index 347bbe60..3c1fedf4 100644
--- a/src/ace/VirtualRenderer.js
+++ b/src/ace/VirtualRenderer.js
@@ -121,7 +121,7 @@ var VirtualRenderer = function(container, theme) {
             this.$changedLines = {
                 firstRow: firstRow,
                 lastRow: lastRow
-            }
+            };
         }
         else {
             if (this.$changedLines.firstRow > firstRow)
@@ -252,11 +252,11 @@ var VirtualRenderer = function(container, theme) {
     };
 
     this.getFirstVisibleRow = function() {
-        return (this.layerConfig || {}).firstRow || 0;
+        return (this.layerConfig || {}).firstRow || 0;
     };
 
     this.getLastVisibleRow = function() {
-        return (this.layerConfig || {}).lastRow || 0;
+        return (this.layerConfig || {}).lastRow || 0;
     };
 
     this.onScroll = function(e) {
@@ -516,7 +516,7 @@ var VirtualRenderer = function(container, theme) {
             theme = theme || "ace/theme/TextMate";
             require([theme], function(theme) {
                 afterLoad(theme);
-            })
+            });
         } else {
             afterLoad(theme);
         }
@@ -524,20 +524,20 @@ var VirtualRenderer = function(container, theme) {
         var _self = this;
         function afterLoad(theme) {
             if (_self.$theme)
-                dom.removeCssClass(_self.container, _self.$theme)
+                dom.removeCssClass(_self.container, _self.$theme);
 
             _self.$theme = theme ? theme.cssClass : null;
 
             if (_self.$theme)
-                dom.addCssClass(_self.container, _self.$theme)
+                dom.addCssClass(_self.container, _self.$theme);
 
-            // force remeasure of the gutter width
+            // force re-measure of the gutter width
             if (_self.$size) {
                 _self.$size.width = 0;
                 _self.onResize();
             }
         }
-    }
+    };
 
 }).call(VirtualRenderer.prototype);