   ;; LATER: This would be much easier if the interactive mode returned
   ;; an offset instead of a line an column.
   (save-excursion
-    (fstar--goto line column)
+    (fstar--goto-line-col line column)
     (point)))
 
 (defun fstar--match-strings-no-properties (ids &optional str)


;;; ;; ;; Jump to definition

(defun fstar--save-point ()
  "Save current position in mark ring and xref stack."
  (push-mark nil t)
  (when (fboundp 'xref-push-marker-stack)
    (xref-push-marker-stack)))

(defun fstar--jump-to-definition-continuation (display-action info)
  "Jump to position in INFO.
DISPLAY-ACTION indicates how: nil means in the current window;

  "Return column number at POS."
  (save-excursion (goto-char pos) (- (point) (point-at-bol))))

(defun fstar--goto-line-col (line column)
  "Go to position indicated by LINE, COLUMN."
  (goto-char (point-min))
  (forward-line (1- line))
