Fix a JS error

Author: nrc

static/rustw.out.js

@@ -1055,10 +1055,12 @@ function make_highlight(src_line_prefix, line_number, left, right, css_class) {
     }
 
     var offset = line_div.offset();
-    line_div.after(highlight);
-    offset.left += left;
-    highlight.offset(offset);
-    highlight.width(width);
+    if (offset) {
+        line_div.after(highlight);
+        offset.left += left;
+        highlight.offset(offset);
+        highlight.width(width);
+    }
 }
 
 /***/ }),
@@ -6601,6 +6603,11 @@ var ContentPanel = exports.ContentPanel = function (_React$Component) {
         value: function componentDidMount() {
             this.query_api(this.props.path);
         }
+    }, {
+        key: 'componentDidUpdate',
+        value: function componentDidUpdate() {
+            document.title = 'cargo src - ' + this.props.path;
+        }
     }, {
         key: 'UNSAFE_componentWillReceiveProps',
         value: function UNSAFE_componentWillReceiveProps(nextProps) {
@@ -7505,6 +7512,11 @@ var SourceView = exports.SourceView = function (_React$Component) {
     }
 
     _createClass(SourceView, [{
+        key: 'componentWillUnmount',
+        value: function componentWillUnmount() {
+            console.log("unmount");
+        }
+    }, {
         key: 'componentDidMount',
         value: function componentDidMount() {
             this.componentDidUpdate();

static/rustw.out.js.map

@@ -172,8 +172,10 @@ function make_highlight(src_line_prefix, line_number, left, right, css_class) {
     }
 
     var offset = line_div.offset();
-    line_div.after(highlight);
-    offset.left += left;
-    highlight.offset(offset);
-    highlight.width(width);
+    if (offset) {
+        line_div.after(highlight);
+        offset.left += left;
+        highlight.offset(offset);
+        highlight.width(width);
+    }
 }