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

refactor(lean-variable): init server-buffer and current-file-name with nil

Browse source
This commit is contained in:
Soonho Kong 2014-08-25 16:25:53 -07:00
parent f82f0377ff
commit 50063b659b
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -89,8 +89,8 @@
lean-server-option)))
(set-process-coding-system lean-server-process 'utf-8 'utf-8)
(set-process-filter lean-server-process 'lean-server-output-filter)
(setq lean-global-server-buffer "")
(setq lean-global-server-current-file-name "")
(setq lean-global-server-buffer nil)
(setq lean-global-server-current-file-name nil)
(setq lean-global-server-message-to-process nil)
(setq lean-global-server-process lean-server-process)
(message "lean-server process %S created." lean-server-process)

4
src/emacs/lean-variable.el
View file

@ -18,10 +18,10 @@ where TYPE := INFO | SET | EVAL | ERROR,
(defvar lean-global-server-process nil
"lean server process")
(defvar lean-global-server-buffer ""
(defvar lean-global-server-buffer nil
"Global buffer used to store messages sent by lean server")
(defvar lean-global-server-current-file-name ""
(defvar lean-global-server-current-file-name nil
"Current filename that lean server is processing")
(defvar-local lean-changed-lines nil