]> git.eshelyaron.com Git - dict.git/commit
ENHANCED: fontify quasi-quotation content according to its type
authorEshel Yaron <me@eshelyaron.com>
Fri, 30 Sep 2022 06:22:42 +0000 (09:22 +0300)
committerEshel Yaron <me@eshelyaron.com>
Fri, 30 Sep 2022 06:39:20 +0000 (09:39 +0300)
commit6dd64339205c10adda9dbff90db96a067603398c
treeffc5dc93a3a64224735e4689f75ee0a3744c36d6
parent8f0e4a644df61aa0d3154775e3f82a048f772d8b
ENHANCED: fontify quasi-quotation content according to its type

* sweeprolog-qq-mode-alist: new user option
* (sweeprolog--colour-term-to-faces): use it
sweep.pl
sweeprolog.el