On Tuesday, August 21, 2012 3:43:41 PM UTC-3, Christopher Stone wrote:
>
> I talked to Patrick at Bare Bones, and he says the backward find with 
> extending selection not working issue is NOT a bug but a technical problem 
> (read can-of-worms) that is unlikely to change in the near future. 
>  Therefore a workaround is the only viable solution at this time.
>

Not too surprised to hear this :). Thanks for checking.
 

>
> This line in my first script is unneeded (I didn't finish cleaning up 
> after writing/testing the script):
>
>       properties of foundObject
>
>
I wondered what that was for :).
 

> For finding forwards I think we can simplify quite a bit:
>
>
> ------------------------------------------------------------------------------------------------
> tell *application* "BBEdit"
>   tell *text* of front *text window*
>     *find* "[^\\r]+" options {search mode:grep, starting at top:false, wrap 
> around:false, backwards:false, case sensitive:false, match words:false, 
> extend 
> selection:true} with selecting match
>   end tell
> end tell
>
> ------------------------------------------------------------------------------------------------
>
>
Works great. Thanks! 

One more thing: I use Keyboard Maestro for shortcuts, and these two scripts 
(Extend Selection Upwards and Extend Selection Downwards) are used 
repeatedly, so I am using the "XXX is down" trigger in KM instead of "XXX 
is pressed", so that I can press and hold the shortcut and have repeated 
executions of the script. This works fine with the Extend Selection 
Downwards script above, but with the Extend Selection Upwards script, if I 
press and hold the shortcut, I get a recurrence of the bug with each 
selection extension deselecting the current selection. OTOH, if I press 
repeatedly (releasing the key between each press), the extension works as 
intended.

Strange. Any idea what might be causing this? 

Pierre

-- 
-- 
You received this message because you are subscribed to the 
"BBEdit Talk" discussion group on Google Groups.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
<http://groups.google.com/group/bbedit?hl=en>
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>



Reply via email to