]> git.eshelyaron.com Git - dict.git/commit
projects / dict.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f283d4) | patch
ENHANCED: provide exact buffer positions for cross references
authorEshel Yaron <me@eshelyaron.com>
Wed, 1 Feb 2023 16:28:09 +0000 (18:28 +0200)
committerEshel Yaron <me@eshelyaron.com>
Wed, 1 Feb 2023 16:28:09 +0000 (18:28 +0200)
commit12590d7d3295c1e69628f649023e318e8b2ac7bf
tree05f9cd4948e3f883507f0c90728aeaa6d8abd358tree | snapshot
parent9f283d440c9e5752297dd0ff928d2ae17e9342adcommit | diff
ENHANCED: provide exact buffer positions for cross references

* sweep.pl (reference_span/5): new predicate.
(sweep_predicate_references/2): use it to find exact character offset of
predicate references.
* sweeprolog.el (xref-backend-references): adapt accordingly.
sweep.pl diff | blob | history
sweeprolog-tests.el diff | blob | history
sweeprolog.el diff | blob | history
Get word definitions from RFC2229 dictionary servers