Tooltip: from Col# 1 to Col #1

mechatroner · Oct 16, 2018 · 38a6565 · 38a6565
1 parent c7a8356
commit 38a6565
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extension.js b/extension.js
@@ -128,7 +128,7 @@ function make_hover_text(document, position, language_id) {
 
     if (col_num == null)
         return null;
-    var result = 'Col# ' + (col_num + 1);
+    var result = 'Col #' + (col_num + 1);
 
     var header = get_header(document, delim, policy);
     if (col_num < header.length) {