On Tue, Apr 18, 2023 at 2:28 AM jkn wrote:
>
> To be fair, many/most modern editors have some sort of 'find definition'
> and 'find references' feature
>
But only cff gives you the ability to organize the results.
Edward
--
You received this message because you are subscribed to the Google
To be fair, many/most modern editors have some sort of 'find definition'
and 'find references' feature
On Sunday, April 9, 2023 at 1:50:50 PM UTC+1 tbp1...@gmail.com wrote:
> Yes:
>
> log = c.frame.log
> g.es(log.orderedTabNames())
>
> BTW, here's how I found this. I certainly didn't
Here is an alternative way to delete a tab, where you type the tab name
into the minibuffer. The code can go into an @command or @button node:
"""Delete named tab from log frame. Get tab name to delete from
minbuffer."""
def delete_tab():
"""State 0"""
k = c.k
Yes:
log = c.frame.log
g.es(log.orderedTabNames())
BTW, here's how I found this. I certainly didn't remember, and you may
have a better way. Start with the script for your button. It calls a
method log.deleteTab. In Leo's core code, similar methods are generally
grouped together under the
I use an @button Delete-TAB
TAB_name = g.app.gui.runAskOkCancelStringDialog(c,'Delete TAB',"Enter
Tab name: ").strip()
c.frame.log.deleteTab(TAB_name) # delete named Tab
Is there a way to get a list of Tab names?
On Sunday, April 9, 2023 at 12:28:45 AM UTC+10 tbp1...@gmail.com wrote:
I've been thinking they could be given a close box. I've not looked in to
what it would take, though.
On Saturday, April 8, 2023 at 10:44:09 AM UTC-4 jkn wrote:
> 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
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
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
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
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
10 matches
Mail list logo