From 05cfb21c4c3547f8e42bfbe3fe9fe5a3bf35b123 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 27 Feb 2015 20:03:02 -0500 Subject: [PATCH] fix(emacs/lean-server.el): split findp info only up-to 1 close #446 --- src/emacs/lean-server.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index 7630fd8c9..99c94d56f 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -500,7 +500,7 @@ If it's not the same with file-name (default: buffer-file-name), send VISIT cmd. (-take (- (length str-list) 2) (-drop 1 str-list))) (--map - (let ((items (split-string it "|"))) + (let ((items (s-split-up-to "|" it 1))) `(,(cl-first items) . ,(cl-second items))) str-list))) (defun lean-findg-parse-string (str)