New range format

Author: kishikawakatsumi

Public/js/app.js

@@ -302,5 +302,5 @@ function hideLoading() {
 }
 
 function formatRange(range) {
-  return `${range.startRow}:${range.startColumn} - ${range.endRow}:${range.endColumn}`;
+  return `${range.startRow}:${range.startColumn} ... ${range.endRow}:${range.endColumn}`;
 }

Public/js/lookup_view.js

@@ -77,7 +77,7 @@ export class LookupView {
               const content = escapeHTML(item.content);
               if (item.range) {
                 const range = JSON.parse(item.range);
-                const sourceRange = `${range.startRow}:${range.startColumn} - ${range.endRow}:${range.endColumn}`;
+                const sourceRange = `${range.startRow}:${range.startColumn} ... ${range.endRow}:${range.endColumn}`;
                 return `<dt class="text-truncate" style="max-width: calc(40vw - 20px);">
   <span class="badge annotation" style="width: auto; text-align: start;">Text</span><span class="font-monospace">${title}</span>
 </dt>

Public/js/structure_view.js

@@ -110,8 +110,7 @@ function makeTokenPopoverContent(data) {
 
 function makeSourceRangePopoverContent(data, list) {
   const range = data.range;
-  // prettier-ignore
-  const details = `Ln ${range.startRow}, Col ${range.startColumn} - Ln ${range.endRow}, Col ${range.endColumn}`;
+  const details = `${range.startRow}:${range.startColumn} ... ${range.endRow}:${range.endColumn}`;
   makeDescriptionList("Source Range", details, list);
 }