diff options
| author | Makarius Wenzel | 2005-09-14 19:23:18 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-14 19:23:18 +0000 |
| commit | bb07601149c925033e849e5ea83eec27643fd645 (patch) | |
| tree | b8c85823046a7708863a874440afecb61634b5b7 /isa | |
| parent | 2f68d500656d25ebee60887a9706368b1c0487dc (diff) | |
oops -- proper customize-set-variable;
Diffstat (limited to 'isa')
| -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 |