DOT parser didn't like `\r` characters

examples/graph/02_random_nodes.html

@@ -75,6 +75,9 @@
                 edges: edges
             };
             var options = {
+                nodes: {
+                    shape: 'circle'
+                },
                 edges: {
                     length: 50
                 },

examples/graph/graphviz/graphviz_gallery.html

@@ -24,11 +24,14 @@
 <script>
     if (location.href.substr(0, 5) == 'file:') {
         document.write(
-                '<p style="color: red;">' +
-                        'Error: Cannot fetch the example data because of security ' +
-                        'restrictions in JavaScript. Run the example from a server ' +
-                        'instead of as a local file to resolve this problem.' +
-                '</p>');
+            '<p style="color: red;">' +
+                'Error: Cannot fetch the example data because of security ' +
+                'restrictions in JavaScript. Run the example from a server ' +
+                'instead of as a local file to resolve this problem. ' +
+                'Alternatively, you can load DOT graphs in ' +
+                'the <a href="../20_dot_language_playground.html" ' +
+                'style="color:red;">playground</a>.' +
+            '</p>');
     }
 </script>
 

src/graph/dotparser.js

@@ -153,7 +153,7 @@
         token = '';
 
         // skip over whitespaces
-        while (c == ' ' || c == '\t' || c == '\n') {  // space, tab, enter
+        while (c == ' ' || c == '\t' || c == '\n' || c == '\r') {  // space, tab, enter
             next();
         }
 
@@ -199,7 +199,7 @@
             }
 
             // skip over whitespaces
-            while (c == ' ' || c == '\t' || c == '\n') {  // space, tab, enter
+            while (c == ' ' || c == '\t' || c == '\n' || c == '\r') {  // space, tab, enter
                 next();
             }
         }

vis.js

@@ -6961,7 +6961,7 @@ Timeline.prototype.getItemRange = function getItemRange() {
         token = '';
 
         // skip over whitespaces
-        while (c == ' ' || c == '\t' || c == '\n') {  // space, tab, enter
+        while (c == ' ' || c == '\t' || c == '\n' || c == '\r') {  // space, tab, enter
             next();
         }
 
@@ -7007,7 +7007,7 @@ Timeline.prototype.getItemRange = function getItemRange() {
             }
 
             // skip over whitespaces
-            while (c == ' ' || c == '\t' || c == '\n') {  // space, tab, enter
+            while (c == ' ' || c == '\t' || c == '\n' || c == '\r') {  // space, tab, enter
                 next();
             }
         }