Re: Does LeoJS have an equivalent to the minibuffer?

[Thomas Passin]

Aha!  That was it - I didn't make sure that a leoJS panel was focused.  
Thanks.

On Saturday, December 23, 2023 at 3:15:04 PM UTC-5 Félix wrote:

> Hello Thomas and jkn :)
>
> Indeed, as stated in LeoJS *readme *at 
> https://github.com/boltex/leojs?tab=readme-ov-file#features the 
> keybindings will be effective* if your mouse focus is in one of the LeoJS 
> panels*. (Just like in LeoInteg, which also has the same minibuffer 
> feature.) If you last clicked or tabbed outside of either the LeoJS body 
> pane, or outline, the keyboard commands will be those of other VSCode 
> extensions!
>
> > As noted in the readme:
> [image: screen.png]
>
> Pressing ALT+X shows a 'minibuffer-palette' with all commands and will 
> restrict the choices as you type in its input box. (It will 'lazy-match' 
> possible commands). Once command(s) have been ran this way, the minibuffer 
> history will be the first choice in the minibuffer, you can rapidly execute 
> past commands this way) It will put @commands and @buttons on top for easy 
> access.
>
> [image: screen.png]
>
> *Please take the time to go through the (relatively short) readme to have 
> a good overview of LeoJS capabilities! *
>
> Thanks for this question Thomas because it gave me an opportunity to 
> explain this concept to other users who may be unfamiliar with the fact 
> that vscode has THOUSANDS of keyboard shortcuts that are context sensitive. 
> And the context for LeoJS commands to be active is that the focus is in one 
> of LeoJS panels. 
>
> (it also gave me the opportunity to remind people to read the readme!!  )
>
> Félix 
> On Saturday, December 23, 2023 at 2:59:27 PM UTC-5 jkn wrote:
>
>> Perhaps it is just not normally visible? From 
>> https://open-vsx.org/extension/boltex/leojs :
>>
>> """
>>The Minibuffer 
>> For those 
>> familiar with Leo, the ‘minibuffer’ serves as the nerve center for command 
>> execution. Access it through Alt+X and use the complete set of Leo’s 
>> commands!
>> """
>>
>> On Saturday, December 23, 2023 at 6:15:44 PM UTC tbp1...@gmail.com wrote:
>>
>>> IOW, how can Leo commands be run if there isn't an ALT-x/minibuffer? I 
>>> don't see one.  Am I just missing it somehow?
>>
>>

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/f53b9b35-c314-4971-b420-ffc68920ef52n%40googlegroups.com.

Re: Does LeoJS have an equivalent to the minibuffer?

[jkn]

Perhaps it is just not normally visible? From 
https://open-vsx.org/extension/boltex/leojs :

"""
   The Minibuffer 
For those 
familiar with Leo, the ‘minibuffer’ serves as the nerve center for command 
execution. Access it through Alt+X and use the complete set of Leo’s 
commands!
"""

On Saturday, December 23, 2023 at 6:15:44 PM UTC tbp1...@gmail.com wrote:

> IOW, how can Leo commands be run if there isn't an ALT-x/minibuffer? I 
> don't see one.  Am I just missing it somehow?

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/f06f3450-5663-4086-a496-28081b879aa4n%40googlegroups.com.

Does LeoJS have an equivalent to the minibuffer?

[Thomas Passin]

IOW, how can Leo commands be run if there isn't an ALT-x/minibuffer? I 
don't see one.  Am I just missing it somehow?

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/7fbc5446-b7bc-4a08-8135-b7e51147dd47n%40googlegroups.com.