]> git.eshelyaron.com Git - dict.git/commit
projects / dict.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d76cda5) | patch
ADDED: mode line indication for loaded buffers
authorEshel Yaron <me@eshelyaron.com>
Thu, 16 Feb 2023 12:34:45 +0000 (14:34 +0200)
committerEshel Yaron <me@eshelyaron.com>
Thu, 16 Feb 2023 12:34:45 +0000 (14:34 +0200)
commitd4e9e269dd0c867e3bf8a6645fede2fe51308ecb
treef8ba5ffdb9cdc166f854720abf5eb9a4d5efc97ftree | snapshot
parentd76cda515c36909df91670c5d8cdbbe47c9d10b1commit | diff
ADDED: mode line indication for loaded buffers

* sweep.pl (sweep_source_file_load_time/2): new predicate.
(sweep_load_buffer/2): also update source modification time based.
* sweeprolog.el (sweeprolog-buffer-load-time)
(sweeprolog-buffer-loaded-since-last-modification-p): new functions.
(sweeprolog-load-buffer): use it.
(sweeprolog-mode): add mode line indication if buffer is loaded.
README.org diff | blob | history
sweep.pl diff | blob | history
sweeprolog.el diff | blob | history
Get word definitions from RFC2229 dictionary servers