Require x-symbol-vars as recommended for new version (works with old too?)

1 files changed, 5 insertions, 0 deletions

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index 1087ced5..e53dfd1a 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -72,6 +72,7 @@ The package is available at http://x-symbol.sourceforge.net/"))
 		  xs-feature)))
        (t
 	;; We've got everything we need!   So initialize.
+	(require 'x-symbol-vars)  ;; [new requirement to require this]
 	(let*
 	    ((xs-xtra-modes  proof-xsym-extra-modes)
 	     (xs-std-modes   (list
@@ -130,6 +131,10 @@ The package is available at http://x-symbol.sourceforge.net/"))
 ;	     (intern (concat (symbol-name mode) "-hook"))
 ;	     'proof-x-symbol-mode))
 	  ;; Font lock support is optional
+
+	  ;; FIXME: Isabelle wants this for sup/sub scripts
+	  ;; presently loads too early and extends in modedef
+	  ;; setups.  Want to adjust here.
 	  (if flks
 	      (put symmode 'font-lock-defaults (list flks)))
 	  ;;