Ignore header while setting line numbers

Use the `firstLineNumber` property to ignore headers while setting line numbers.
tulios · Oct 28, 2018 · c803023 · c803023
1 parent 69d3cdc
commit c803023
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/extension/src/json-viewer/highlight-content.js b/extension/src/json-viewer/highlight-content.js
@@ -54,6 +54,7 @@ function oversizedJSON(pre, options, outsideViewer) {
 
 function prependHeader(options, outsideViewer, jsonText) {
   if (!outsideViewer && options.addons.prependHeader) {
+    options.structure.firstLineNumber = options.structure.firstLineNumber - 3
     var header = "// " + timestamp() + "\n";
     header += "// " + document.location.href + "\n\n";
     jsonText = header + jsonText;

diff --git a/extension/src/json-viewer/options/defaults.js b/extension/src/json-viewer/options/defaults.js
@@ -14,6 +14,7 @@ module.exports = {
   structure: {
     readOnly: true,
     lineNumbers: true,
+    firstLineNumber: 1,
     lineWrapping: true,
     foldGutter: true,
     tabSize: 2,