]> git.eshelyaron.com Git - dict.git/commit
ENHANCED: handle renaming variables to existing variable names
authorEshel Yaron <me@eshelyaron.com>
Sat, 4 Feb 2023 21:09:23 +0000 (23:09 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sat, 4 Feb 2023 21:09:23 +0000 (23:09 +0200)
commit5ff9194993ce9accab054bd73d68f4854947bcf0
tree60bae512e7281f6fec505477313a7368db2811f2
parent86b629b99bdbe288372033132da58992aa70d517
ENHANCED: handle renaming variables to existing variable names

* sweeprolog.el (sweeprolog-rename-variable-allow-existing): new user
option, used by...
(sweeprolog-read-new-variable-try): new command, exists the minibuffer
if it contains a valid variable name.  It checks if the selected
variable name already exists.  Used by...
(sweeprolog-read-new-variable): new function, reads a Prolog variable
name in the minibuffer with a dedicated exit command.
(sweeprolog-rename-variable): use it.
README.org
sweeprolog.el