michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/lean-server): missing 'rx' at the beginning of regex

Browse source
This commit is contained in:
Soonho Kong 2014-09-09 13:47:09 -07:00
parent 70dcc2e122
commit ba6dc59d5f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-server.el
View file

@ -447,7 +447,7 @@ If it's not the same with file-name (default: buffer-file-name), send VISIT cmd.
(defun lean-server-get-info-record-at-pos (body)
(let* ((file-name (buffer-file-name))
(column (current-column)))
(when (and (looking-at (or white "," ")" "}" "]"))
(when (and (looking-at (rx (or white "," ")" "}" "]")))
(> column 1))
(setq column (1- column)))
(lean-info-record-parse body file-name column)))