DevTools: use semicolons after each statement.

third_party/WebKit/Source/devtools/front_end/ui_lazy/OverviewGrid.js

 /*
  * Copyright (C) 2013 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 26 matching lines @@
     this.element = createElement("div");
     this.element.id = prefix + "-overview-container";
 
     this._grid = new WebInspector.TimelineGrid();
     this._grid.element.id = prefix + "-overview-grid";
     this._grid.setScrollTop(0);
 
     this.element.appendChild(this._grid.element);
 
     this._window = new WebInspector.OverviewGrid.Window(this.element, this._grid.dividersLabelBarElement);
-}
+};
 
 WebInspector.OverviewGrid.prototype = {
     /**
      * @return {number}
      */
     clientWidth: function()
     {
         return this.element.clientWidth;
     },
 
@@ skipping 68 matching lines @@
         this._window._zoom(zoomFactor, referencePoint);
     },
 
     /**
      * @param {boolean} enabled
      */
     setResizeEnabled: function(enabled)
     {
         this._window.setEnabled(enabled);
     }
-}
+};
 
 
 WebInspector.OverviewGrid.MinSelectableSize = 14;
 
 WebInspector.OverviewGrid.WindowScrollSpeedFactor = .3;
 
 WebInspector.OverviewGrid.ResizerOffset = 3.5; // half pixel because offset values are not rounded but ceiled
 
 /**
  * @constructor
@@ skipping 14 matching lines @@
     WebInspector.appendStyle(this._parentElement, "ui_lazy/overviewGrid.css");
 
     this._leftResizeElement = parentElement.createChild("div", "overview-grid-window-resizer");
     WebInspector.installDragHandle(this._leftResizeElement, this._resizerElementStartDragging.bind(this), this._leftResizeElementDragging.bind(this), null, "ew-resize");
     this._rightResizeElement = parentElement.createChild("div", "overview-grid-window-resizer");
     WebInspector.installDragHandle(this._rightResizeElement, this._resizerElementStartDragging.bind(this), this._rightResizeElementDragging.bind(this), null, "ew-resize");
 
     this._leftCurtainElement = parentElement.createChild("div", "window-curtain-left");
     this._rightCurtainElement = parentElement.createChild("div", "window-curtain-right");
     this.reset();
-}
+};
 
 /** @enum {symbol} */
 WebInspector.OverviewGrid.Events = {
     WindowChanged: Symbol("WindowChanged"),
     Click: Symbol("Click")
-}
+};
 
 WebInspector.OverviewGrid.Window.prototype = {
     reset: function()
     {
         this.windowLeft = 0.0;
         this.windowRight = 1.0;
         this.setEnabled(true);
         this._updateCurtains();
     },
 
@@ skipping 232 matching lines @@
         }
         left = reference + (left - reference) * factor;
         left = Number.constrain(left, 0, 1 - newWindowSize);
 
         right = reference + (right - reference) * factor;
         right = Number.constrain(right, newWindowSize, 1);
         this._setWindow(left, right);
     },
 
     __proto__: WebInspector.Object.prototype
-}
+};
 
 /**
  * @constructor
  */
 WebInspector.OverviewGrid.WindowSelector = function(parent, position)
 {
     this._startPosition = position;
     this._width = parent.offsetWidth;
     this._windowSelector = createElement("div");
     this._windowSelector.className = "overview-grid-window-selector";
     this._windowSelector.style.left = this._startPosition + "px";
     this._windowSelector.style.right = this._width - this._startPosition + "px";
     parent.appendChild(this._windowSelector);
-}
+};
 
 WebInspector.OverviewGrid.WindowSelector.prototype = {
     _close: function(position)
     {
         position = Math.max(0, Math.min(position, this._width));
         this._windowSelector.remove();
         return this._startPosition < position ? {start: this._startPosition, end: position} : {start: position, end: this._startPosition};
     },
 
     _updatePosition: function(position)
     {
         position = Math.max(0, Math.min(position, this._width));
         if (position < this._startPosition) {
             this._windowSelector.style.left = position + "px";
             this._windowSelector.style.right = this._width - this._startPosition + "px";
         } else {
             this._windowSelector.style.left = this._startPosition + "px";
             this._windowSelector.style.right = this._width - position + "px";
         }
     }
-}
+};