]> git.eshelyaron.com Git - dict.git/commit
ADDED: new command for signaling the current top-level
authorEshel Yaron <me@eshelyaron.com>
Tue, 4 Oct 2022 11:20:05 +0000 (14:20 +0300)
committerEshel Yaron <me@eshelyaron.com>
Tue, 4 Oct 2022 19:56:19 +0000 (22:56 +0300)
commit5913f010b69a88d845492bbe3e5f23f78ba32d64
treee9f0294dece799230305713146b173ff401eba77
parentc0d818905667f7f66922f41322f61cdf572a59bd
ADDED: new command for signaling the current top-level

* sweeprolog.el:
- sweeprolog-top-level-signal-current: new command
- sweeprolog-top-level-mode-map: bind it to C-c C-c
sweeprolog.el