]> git.eshelyaron.com Git - sweep.git/commit
Highlight current argument in ElDoc documentation messages
authorEshel Yaron <me@eshelyaron.com>
Sun, 12 Nov 2023 16:53:17 +0000 (17:53 +0100)
committerEshel Yaron <me@eshelyaron.com>
Sun, 12 Nov 2023 16:53:17 +0000 (17:53 +0100)
commitc8e2cda7b5784fc3f8291ffa8a76822518f2d614
treed34e7a7364687e4def98eae3d360f8866336fa1f
parent368518b34d2f66cfc9782abf74f6b8c010522c99
Highlight current argument in ElDoc documentation messages

* sweep.pl (sweep_short_documentation/2): New predicate.
* sweeprolog.el (sweeprolog-predicate-modes-doc): Use it.
sweep.pl
sweeprolog.el