Re: Delete a Tab from the Tabs pane?

2020-07-14 Thread Edward K. Ream 
On Mon, Jul 13, 2020 at 8:23 PM lewis  wrote:

> To delete a Tab from Tabs pane use:
> *c.frame.log.deleteTab()*
>
> I found it used in LeoPyRef.leo
> There is no mention of the command in LeoDocs.leo
>

Why should LeoDocs.leo mention each of Leo's methods?

Edward

-- 
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/CAMF8tS1iBQennFNeBF8453p%3D240nXZ2vyGSBh9wp%2B6BfxJATfg%40mail.gmail.com.

Re: Delete a Tab from the Tabs pane?

2020-07-13 Thread Edward K. Ream 
On Mon, Jul 13, 2020 at 8:32 AM lewis  wrote:

> I am creating a new Tab using:
>
> *c.frame.log.selectTab('Results')# Create Tab 'Results'*
>
> Once the output has been sent to the new Tab, I can clear the contents
> using:
> *c.frame.log.clearTab('Results')*
>
> Is there a command to delete the Tab from the Tabs pane?
>

c.frame.log.deleteTab('Results') works, as I have just verified. There is
no corresponding user command. You can easily create one with @command.

Edward

-- 
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/CAMF8tS35LoSkotsms54fATFsm3TG2q1gaAMq8r9bw%2B_x6LjK0A%40mail.gmail.com.

Delete a Tab from the Tabs pane?

2020-07-13 Thread lewis 
I am creating a new Tab using:

*c.frame.log.selectTab('Results')# Create Tab 'Results'*

Once the output has been sent to the new Tab, I can clear the contents 
using:
*c.frame.log.clearTab('Results')*

Is there a command to delete the Tab from the Tabs pane?

Regards
Lewis

-- 
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/6f69711b-0007-481b-a7ca-38dba855ddfao%40googlegroups.com.