From: Eshel Yaron Date: Mon, 16 Jan 2023 21:12:24 +0000 (+0200) Subject: Announce recent changes in NEWS.org and bump version to 0.12.0 X-Git-Tag: V9.1.3-sweep-0.12.0 X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=5d96ad573e1823fa244398967495085920680092;p=sweep.git Announce recent changes in NEWS.org and bump version to 0.12.0 --- diff --git a/NEWS.org b/NEWS.org index 7b37a07..18de82e 100644 --- a/NEWS.org +++ b/NEWS.org @@ -9,9 +9,25 @@ This file contains the release notes for =sweep=, an embedding of SWI-Prolog in Emacs. For further details, please consult the manual: -. +[[https://eshelyaron.com/sweep.html][https://eshelyaron.com/sweep.html]]. -* Version 0.11.3 on 2023-01-015 +* Version 0.12.0 on 2023-01-16 + +** Add on-hover descriptions to tokens in Prolog code + +~sweeprolog-mode~ can now annotate tokens in Prolog code with textual +descriptions that are displayed at the mouse tooltip when you hover +over different tokens in the buffer. This is done by using the +~help-echo~ text property. You can also display these descriptions in +the echo area with ~C-h .~ (~display-local-help~). + +** New user option ~sweeprolog-enable-help-echo~ + +This is a flag controlling whether ~sweeprolog-mode~ adds descriptions +to tokens in Prolog code via the ~help-echo~ text property. It is set +to ~t~ by default. + +* Version 0.11.3 on 2023-01-15 ** Improve integration with the standard ~compilation-mode~ diff --git a/sweeprolog.el b/sweeprolog.el index 86cf517..654b2d4 100644 --- a/sweeprolog.el +++ b/sweeprolog.el @@ -6,7 +6,7 @@ ;; Maintainer: Eshel Yaron <~eshel/dev@lists.sr.ht> ;; Keywords: prolog languages extensions ;; URL: https://git.sr.ht/~eshel/sweep -;; Package-Version: 0.11.3 +;; Package-Version: 0.12.0 ;; Package-Requires: ((emacs "28.1")) ;; This file is NOT part of GNU Emacs. @@ -2386,6 +2386,7 @@ resulting list even when found in the current clause." ("atom" "Atom") ("float" "Float") ("int" "Integer") + ("empty_list" "Empty list") ("singleton" "Singleton variable") ("option_name" "Option name") ("no_option_name" "Unknown option")