Hi -- This is caryatid/David Setchell
Terry -- Thanks so much for the help and this message.
to specify: ( bodies in curly brackets ) "--" concatenated for node depth
@mode foo
{ enter-lorem-mode = Ctrl-m
enter-ipsum-mode = Ctrl-n
...
}
-- @mode lorem
{ enter-prev-line-mode -> same = w
enter-haskell-command-mode -> same = a
}
----@ mode prev-line
{ --> previous-line }
----@ mode haskell-command
{ --> log "Haskell-command" not yet implemented }
that log command would be great. If it can be done via @command that is
cool too. I'm a leo-noob so I've not made my own commands yet.
That lets me flesh out the modes before all the commands are in place.
All that said, I mentioned on IRC that I've done multi-modal key bindings
for a few editors and it has been a huge PITA on everything but leo. So,
even as a novice
I'm really appreciating the design on Leo. Thanks for that.
Dave
On Tuesday, November 12, 2013 3:30:05 PM UTC-8, Terry wrote:
>
> Just a heads up that caryatid on IRC (aka David Setchell) is finding
> @modes really valuable for setting up keybindings as wanted, using them
> as intended I guess, a tree nav. mode, etc.
>
> Also, although I'm not currently using it I'd like generic mode
> definitions to be possible, I assume the new machinery will do
> everything the old machinery did, and not just emulate vim?
>
> Amusing aside: he was wondering if there was a place-holder command to
> use in @shortcuts for commands not yet available even though there's a
> key that should logically invoke them, and we realized how easy it
> would be to have his automatic @shortcuts generating @button generate
> the corresponding @commands-->@command undef_2134 g.es("haskel block
> select not implemented") command to give feedback when the key was
> hit. Proving again that Leo already has ways of doing all the things
> you haven't thought of yet :-)
>
> Cheers -Terry
>
--
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/groups/opt_out.
