]> git.eshelyaron.com Git - sweep.git/commit
ADDED: highlighting and tooltip info for declaration options
authorEshel Yaron <me@eshelyaron.com>
Thu, 1 Jun 2023 11:23:11 +0000 (14:23 +0300)
committerEshel Yaron <me@eshelyaron.com>
Thu, 1 Jun 2023 11:23:11 +0000 (14:23 +0300)
commit0dc3a896f0cbe0b45ee599f59753628659f0ec2f
treeb781798caae04259e16ddb6b2f99e396a4a24532
parented829f4a1f8ee1b140b58c590dd74dd1bd85dde1
ADDED: highlighting and tooltip info for declaration options

* sweep.pl (sweep_color_normalized_/4): Handle 'decl_option/1'
fragments.

* sweeprolog.el (sweeprolog-declaration-option): New face, used in...
(sweeprolog-analyze-fragment-to-faces): ...for 'decl_option' frags.
(sweeprolog--help-echo-for-declaration-option): New function.
(sweeprolog-analyze-fragment-help-echo): Use it.
sweep.pl
sweeprolog.el