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

chore(emacs/lean-server): make trace-mode and debug-mode non-local vars

Browse source
This commit is contained in:
Soonho Kong 2014-09-11 12:34:23 -07:00
parent 89f38b3945
commit 733c0e4a77
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -21,8 +21,8 @@
(defvar-local lean-server-trace-buffer-name "*lean-server-trace*")
(defvar-local lean-server-debug-buffer-name "*lean-server-debug*")
(defvar-local lean-server-option "--server")
(defvar-local lean-server-trace-mode nil)
(defvar-local lean-server-debug-mode nil)
(defvar lean-server-trace-mode nil)
(defvar lean-server-debug-mode nil)
;; Log, Trace, Debug Function
;; ==========================