diff options
Diffstat (limited to 'phox/x-symbol-phox.el')
-rw-r--r-- | phox/x-symbol-phox.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phox/x-symbol-phox.el b/phox/x-symbol-phox.el index 7acd776f..8590dd23 100644 --- a/phox/x-symbol-phox.el +++ b/phox/x-symbol-phox.el @@ -183,7 +183,7 @@ See `x-symbol-language-access-alist' for details." ;; ;; this is MODE-ON CODING 8BITS UNIQUE SUBSCRIPTS IMAGE (defcustom x-symbol-phox-auto-style - '((proof-ass x-symbol-enable) ; MODE-ON: whether to turn on interactively + '(phox-x-symbol-enable ; MODE-ON: whether to turn on interactively nil ;; x-symbol-coding 'null ;; x-symbol-8bits [NEVER want it; null disables search] nil ;; x-symbol-unique |