matplotlib
diff --git a/‎lib/matplotlib/backends/web_backend/js/mpl.js
Copy file name to clipboardExpand all lines: lib/matplotlib/backends/web_backend/js/mpl.js
+3-3Lines changed: 3 additions & 3 deletions b/‎lib/matplotlib/backends/web_backend/js/mpl.js
Copy file name to clipboardExpand all lines: lib/matplotlib/backends/web_backend/js/mpl.js
+3-3Lines changed: 3 additions & 3 deletions
diff --git a/‎lib/matplotlib/backends/web_backend/js/nbagg_mpl.js
Copy file name to clipboardExpand all lines: lib/matplotlib/backends/web_backend/js/nbagg_mpl.js
+1-1Lines changed: 1 addition & 1 deletion b/‎lib/matplotlib/backends/web_backend/js/nbagg_mpl.js
Copy file name to clipboardExpand all lines: lib/matplotlib/backends/web_backend/js/nbagg_mpl.js
+1-1Lines changed: 1 addition & 1 deletion
@@ -8,7 +8,7 @@ mpl.get_websocket_type = function() {
     } else if (typeof(MozWebSocket) !== 'undefined') {
         return MozWebSocket;
     } else {
-        alert('Your browser does not have WebSocket support.' +
+        alert('Your browser does not have WebSocket support. ' +
               'Please try Chrome, Safari or Firefox ≥ 6. ' +
               'Firefox 4 and 5 are also supported but you ' +
               'have to enable WebSockets in about:config.');
@@ -225,7 +225,7 @@ mpl.figure.prototype._init_canvas = function() {
 mpl.figure.prototype._init_toolbar = function() {
     var fig = this;
 
-    var nav_element = $('<div/>')
+    var nav_element = $('<div/>');
     nav_element.attr('style', 'width: 100%');
     this.root.append(nav_element);
 
@@ -282,7 +282,7 @@ mpl.figure.prototype._init_toolbar = function() {
         var fmt = mpl.extensions[ind];
         var option = $(
             '<option/>', {selected: fmt === mpl.default_extension}).html(fmt);
-        fmt_picker.append(option)
+        fmt_picker.append(option);
     }
 
     // Add hover states to the ui-buttons
 
@@ -93,7 +93,7 @@ mpl.figure.prototype.updated_canvas_event = function() {
 mpl.figure.prototype._init_toolbar = function() {
     var fig = this;
 
-    var nav_element = $('<div/>')
+    var nav_element = $('<div/>');
     nav_element.attr('style', 'width: 100%');
     this.root.append(nav_element);