]> git.eshelyaron.com Git - dict.git/commit
ADDED: new command for signaling a top-level from the Top-level Menu
authorEshel Yaron <me@eshelyaron.com>
Tue, 4 Oct 2022 11:21:42 +0000 (14:21 +0300)
committerEshel Yaron <me@eshelyaron.com>
Tue, 4 Oct 2022 19:56:19 +0000 (22:56 +0300)
commit51139ad1784ec789d820e720023a2eb1ea991235
treeb99a15dd43d92d96d5480fa8f0343287abbc647c
parent5913f010b69a88d845492bbe3e5f23f78ba32d64
ADDED: new command for signaling a top-level from the Top-level Menu

* sweeprolog.el:
- sweeprolog-top-level-menu-signal: new command
- sweeprolog-top-level-menu-mode-map: bind it to s
sweeprolog.el