diff options
author | 2005-09-14 19:23:18 +0000 | |
---|---|---|
committer | 2005-09-14 19:23:18 +0000 | |
commit | bb07601149c925033e849e5ea83eec27643fd645 (patch) | |
tree | b8c85823046a7708863a874440afecb61634b5b7 | |
parent | 2f68d500656d25ebee60887a9706368b1c0487dc (diff) |
oops -- proper customize-set-variable;
-rw-r--r-- | isa/interface-setup.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/interface-setup.el b/isa/interface-setup.el index e9dddb31..16c167cc 100644 --- a/isa/interface-setup.el +++ b/isa/interface-setup.el @@ -33,7 +33,7 @@ (let ((unicode (getenv "PROOFGENERAL_UNICODE"))) (if (and unicode (not (equal unicode ""))) - (customize-set-variable enable-var (equal unicode "true")))) + (customize-set-variable 'proof-shell-unicode (equal unicode "true")))) ;; ;; Proof General |