diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 20:03:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 20:03:29 +0000 |
| commit | 939d3c17b57049422f584857725e04ff9cbbf2e4 (patch) | |
| tree | 57bbaab314d60dccafcc29c43e2904aa08fd261c | |
| parent | 4a85e32123565e8e5342dfdd741aae473f16660e (diff) | |
Prevent reporting column number back to Isabelle process
as not reliable; extra work needed on both sides.
See http://proofgeneral.inf.ed.ac.uk/trac/ticket/277
| -rw-r--r-- | isar/isar.el | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/isar/isar.el b/isar/isar.el index b3b03121..305680ea 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -557,15 +557,17 @@ Checks the width in the `proof-goals-buffer'" "\"")) (defun isar-positions-of (buffer span) - (let (line column) + (let (line) (if span (save-excursion (set-buffer (span-buffer span)) (goto-char (span-start span)) (skip-chars-forward " \t\n") ;; NB: position is relative to display (narrowing, etc) - (setq line (line-number-at-pos (point))) - (setq column (current-column)))) + ;; defer column: too tricky for now (Isabelle symbols + ;; vs displayed chars, etc) + ; (setq column (current-column)) + (setq line (line-number-at-pos (point))))) (concat "(" (proof-splice-separator @@ -574,8 +576,8 @@ Checks the width in the `proof-goals-buffer'" (if (and buffer (buffer-file-name buffer)) (format "\"file\"=%s" (isar-string-wrapping (buffer-file-name buffer)))) - (if line (format "\"line\"=\"%d\"" line)) - (if column (format "\"column\"=\"%d\"" column)))) + (if line (format "\"line\"=\"%d\"" line)))) + ;(if column (format "\"column\"=\"%d\"" column)))) ") "))) (defun isar-command-wrapping (string scriptspan) |