font-lock-keywords - Githubissues

chsticksel / smtlib-mode

An Emacs major mode to edit and run SMTLIB v2 files

GNU General Public License v3.0

9 stars 10 forks source link

Open wintersteiger opened 9 years ago

wintersteiger commented 9 years ago

Thanks for compiling the smtlib mode! My Windows-emacs had a problem with this:

;; Create the list for font-lock (setq smtlib-font-lock-keywords `((,smtlib-keywords-regexp . font-lock-keyword-face)))

I had to change the '.' to '1', then it worked fine.

Are there plans to add error-message parsing for linenumbers etc? That would be awesome!

vizziv commented 9 years ago

I had a similar problem in Emacs 24 on OS X. I changed

(setq font-lock-defaults smtlib-font-lock-keywords)

(setq font-lock-defaults '(smtlib-font-lock-keywords))

and all was well.