diff options
| -rw-r--r-- | docs/src/templates/doc_widgets.js | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/docs/src/templates/doc_widgets.js b/docs/src/templates/doc_widgets.js index a21fc5e1..6275012c 100644 --- a/docs/src/templates/doc_widgets.js +++ b/docs/src/templates/doc_widgets.js @@ -63,7 +63,7 @@    function indent(text) {      if (!text) return text; -    var lines = text.split(/[\n|\r]/); +    var lines = text.split(/\r?\n/);      var lineNo = [];      // remove any leading blank lines      while (lines[0].match(/^\s*$/)) lines.shift(); | 
