On Jan 08, 2017, at 03:58, Adrian Manea <[email protected]
<mailto:[email protected]>> wrote:
> To keep things short, is there any way I could copy a "named symbol"'s name
> from the list displayed by cmd + T?
Hey Adrian,
Not that I can see.
> 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.
> …
> 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)?
Hmm...
Well, here's a method of extracting the names:
(The Named Symbol sheet must be open when you run the script.)
-------------------------------------------------------------------------------------------
# Auth: Christopher Stone
# dCre: 2017/01/08 17:30
# dMod: 2017/01/08 17:44
# Appl: BBEdit & System Events
# Task: Extract Names of Markers from Named Symbol list sheet.
# Libs: None
# Osax: None
# Tags: @Applescript, @Script, @System_Events, @BBEdit, @Extract, @Names,
@Markers, @Symbol, @List, @Sheet
-------------------------------------------------------------------------------------------
tell application "System Events"
tell application process "BBEdit"
tell window "untitled worksheet"
set markerList to value of static text 1 of rows of table 1 of scroll
area 1 of sheet 1
end tell
end tell
end tell
set AppleScript's text item delimiters to linefeed
set markerList to markerList as text
-------------------------------------------------------------------------------------------
>From here there are various methods of inserting the text into BBEdit.
An AppleScript with a choose-from-list dialog.
Formulation of a clipping-set for BBEdit.
And a few others I can think of.
--
Best Regards,
Chris
--
This is the BBEdit Talk public discussion group. If you have a
feature request or would like to report a problem, please email
"[email protected]" 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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/bbedit.
