]> git.eshelyaron.com Git - dict.git/commit
ADDED: command for renaming a variable in Prolog term
authorEshel Yaron <me@eshelyaron.com>
Sun, 29 Jan 2023 21:35:33 +0000 (23:35 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sun, 29 Jan 2023 21:35:33 +0000 (23:35 +0200)
commitf3d8bff17e011cf8eb4dfd2c9247af54f823bbe7
tree7a3b0d3e19f1145156ff39dc42a7b73af3a4aaa4
parent2be17c1f3191dd64cf7792c2ebdc8c3d58c0743b
ADDED: command for renaming a variable in Prolog term

* sweeprolog.el (sweeprolog-rename-variable): new command.
(sweeprolog-context-menu-rename-variable): new command used in context
menus for variables.
(sweeprolog-context-menu-for-variable): new function, used in...
(sweeprolog-context-menu-functions): add it to the list.
(sweeprolog-mode-map): bind it to C-c C-r.
* README.org (Renaming Variables): new section.
README.org
sweeprolog-tests.el
sweeprolog.el