On Tuesday, November 10, 2015 at 11:42:19 AM UTC, john lunzer wrote:
>
> I think there had been some effort to make settings, such as keybindings,
> to be dynamically reloadable (?)
>
> If keybindings could be reset without restarting Leo then perhaps a there
> could be keybinding "profiles" and then there could be a "Switch Keybinding
> Profile" command which would present the user with a list.
>
> I would be interested in the result of that recent work (IIRC) before I
> started throwing out other ideas.
>
>
The CRiSP editor, which I also (!) use a lot for programming, has a set of
macro primitives which include the concept of a 'keyboard map'. This is
(from the docs)
{{{
A keyboard map is a table of all possible keys, together with the macros
that
are bound to them. By default CRISP comes up with the usual editing keys,
but some macros need to temporarily bind macros to keys for their operation.
For example, the buffer_list macro creates a new keyboard and binds various
keys to it, so that it can intercept the users requests to delete and write
away
buffers.
}}}
There are primitives to create and alter keyboard maps, and also to push
and pop them onto a (dedicated, I presume) stack. This allows context
switching of keyboard maps, and can be very useful.
CRiSP is an enhanced editor 'inspired by' the Brief editor of old, which
IIRC also had such a concept (the Brief lisp-like macro language and
primitives were extremely elegant)
Jon N
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
