I meant at the user level - right-click on a tab or similar... I
occasionally have tabs 'outstay their welcome' (as in, I don't need their
content any more)
On Saturday, April 8, 2023 at 3:28:45 PM UTC+1 tbp1...@gmail.com wrote:
> Yes, as long as you know its name, which you do from its label:
>
> log.deleteTab(TABNAME)
>
> On Saturday, April 8, 2023 at 10:26:30 AM UTC-4 jkn wrote:
>
>> This look interesting, thanks.
>>
>> One thing I have never really needed, but occasionally wondered about; it
>> is possible to *delete* a tab in the log pane? (perhaps it should be called
>> the 'tab pane'?...)
>>
>> J^n
>>
>> On Friday, April 7, 2023 at 3:04:48 PM UTC+1 tbp1...@gmail.com wrote:
>>
>>> The VR3 plugin can now optionally open in a tab in the log pane instead
>>> of in its own panel in the main Leo window (also referred to as a pane in
>>> the splitter). I have attached a screen shot that shows the panel layout
>>> that I like when using VR3 in a tab.
>>>
>>> There are two new commands to control that tab behavior:
>>>
>>> vr3-tab -- opens VR3 in a tab
>>> vr3-toggle-tab -- opens or closes VR3 in a tab.
>>>
>>> I like to use an @button node in the @settings tree to make a button for
>>> vr3-toggle-tab. The button runs c.k.simulateCommand('vr3-toggle-tab').
>>>
>>> vr3-toggle will close VR3 if open in a splitter pane as well as in a
>>> tab. Next time, the command will open it in the splitter. Conversely,
>>> vr3-toggle-tab will close VR3 in either a tab or the splitter, but will
>>> re-open it in a tab the next time the command is run.
>>>
>>> An advantage to running VR3 in a tab is that you can open something else
>>> in a new splitter pane without interfering with VR3.
>>>
>>> One minor drawback is that focus will switch to the log pane when
>>> something is written there - most likely when the outline has been saved.
>>> Then you have to click in the VR3 tab to see it again. I haven't found
>>> this to bother me much.
>>>
>>> This new behavior has now been merged into the devel branch, so it's
>>> ready to try out.
>>>
>>
--
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/8d9f4d00-0618-4303-a96c-4afb99117ad7n%40googlegroups.com.
