There is a pop-up which displays the named symbols in the upper right of each
window. You could split the pane using the handle at the top of the scrollbar
so you always have the command you are editing in view. Use the pop-up to
navigate from symbol to symbol and copy the names into the other pane.
Another thought is to use "Process Lines Containing..." off the Text menu using
"Copy to a new document" and not "Delete matching lines" to create a new
document which contains only lines containing the theorem names. This should
generate a more concise list of all the references in the document.
[fletcher]
> On Jan 8, 2017, at 1:58 AM, Adrian Manea <adrian.c.ma...@gmail.com> wrote:
>
> Hello everybody!
>
> To keep things short, is there any way I could copy a "named symbol"'s name
> from the list displayed by cmd + T?
>
> Concrete use: I'm writing a LaTeX file and I label some theorems. Then I want
> to reference them. I write \ref{ and I have to search for all the labels I
> used. I prefer using the keyboard (cmd + T) and search for all my theorems
> (for which I start the label with th-). Then I'd like to copy that theorem's
> label from the named symbols list, to add to the reference command.
>
> As I see it, I can only remember the name and type it in the \ref{...}
> command I started writing. Or I can use Jump Points to go back & forth.
>
> However, it would be very, very easy if I could just copy the label's (named
> symbol) name.
>
> Is this possible (by default or via a simple script)?
>
> Thanks.
>
> --
> This is the BBEdit Talk public discussion group. If you have a
> feature request or would like to report a problem, please email
> "supp...@barebones.com" rather than posting to the group.
> Follow @bbedit on Twitter: <http://www.twitter.com/bbedit
> <http://www.twitter.com/bbedit>>
> ---
> You received this message because you are subscribed to the Google Groups
> "BBEdit Talk" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to bbedit+unsubscr...@googlegroups.com
> <mailto:bbedit+unsubscr...@googlegroups.com>.
> To post to this group, send email to bbedit@googlegroups.com
> <mailto:bbedit@googlegroups.com>.
> Visit this group at https://groups.google.com/group/bbedit
> <https://groups.google.com/group/bbedit>.
--
This is the BBEdit Talk public discussion group. If you have a
feature request or would like to report a problem, please email
"supp...@barebones.com" rather than posting to the group.
Follow @bbedit on Twitter: <http://www.twitter.com/bbedit>
---
You received this message because you are subscribed to the Google Groups
"BBEdit Talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to bbedit+unsubscr...@googlegroups.com.
To post to this group, send email to bbedit@googlegroups.com.
Visit this group at https://groups.google.com/group/bbedit.
