Re: toggle brackets command

2023-05-02 Thread Rob
Yes, that's it. I didn't see it when I used tab to complete the command 
'cuz it was at the top of the list; my bad! Thanks!

Rob...

On Tuesday, May 2, 2023 at 4:40:58 PM UTC-4 tbp1...@gmail.com wrote:

> There's a *toggle-angle-brackets* command.  Is that it?  The F11 help 
> message reads "Add or remove double angle brackets from the headline of the 
> selected node".
> On Tuesday, May 2, 2023 at 2:40:12 PM UTC-4 Rob wrote:
>
>> I remember there was a command to toggle headline brackets, thought it 
>> was `toggle-brackets`. I can't find it anymore, perhaps I mis-remembered 
>> the name of the command. Also, I seem to recall it was in the Edit Headline 
>> menu, but there's nothing there either.
>>
>> Did it go away at some point or is the command name something else?
>>
>> Rob...
>>
>

-- 
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/4d8d8058-4f88-461a-9bb5-d7229bf43ad1n%40googlegroups.com.


Re: toggle brackets command

2023-05-02 Thread Thomas Passin
There's a *toggle-angle-brackets* command.  Is that it?  The F11 help 
message reads "Add or remove double angle brackets from the headline of the 
selected node".
On Tuesday, May 2, 2023 at 2:40:12 PM UTC-4 Rob wrote:

> I remember there was a command to toggle headline brackets, thought it was 
> `toggle-brackets`. I can't find it anymore, perhaps I mis-remembered the 
> name of the command. Also, I seem to recall it was in the Edit Headline 
> menu, but there's nothing there either.
>
> Did it go away at some point or is the command name something else?
>
> Rob...
>

-- 
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/610d5128-775d-4d61-9128-e176c98f1924n%40googlegroups.com.