]> git.eshelyaron.com Git - dict.git/commit
projects / dict.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ffa70e7) | patch
New user-option to controlling highlighting of holes
authorEshel Yaron <me@eshelyaron.com>
Tue, 22 Nov 2022 18:42:48 +0000 (20:42 +0200)
committerEshel Yaron <me@eshelyaron.com>
Tue, 22 Nov 2022 18:42:48 +0000 (20:42 +0200)
commite2cf80d0a82ba43d3f89570f71ddf2b685d6a8e8
treeb1cb5b94d6cba694edf55450bf9401ef67ca689ftree | snapshot
parentffa70e7b1cbd0a321f64ec12e47060a29c3b96cdcommit | diff
New user-option to controlling highlighting of holes

* sweeprolog.el (sweeprolog-highlight-holes): new user-option.
(sweeprolog-analyze-fragment-to-faces): respect it.
sweeprolog.el diff | blob | history
Get word definitions from RFC2229 dictionary servers