> On 2020-04-08, at 12:54, Nestor Aguilera <[email protected]> wrote:
> 
>> On 8 Apr 2020, at 07:24, Maarten Sneep <[email protected] 
>> <mailto:[email protected]>> wrote:
>> 
>> Preferences → Editing → uncheck “Display instances of selected text”.
>> 
>> Best,
>> 
>> Maarten
> 
> Thanks Maarten. I have that unchecked as well.

If that doesn’t solve it, it is time to contact support.

> Out of topic: thanks very much for your scripts for TeX compilation, I have 
> been using them for many many years, more than I can remember.

You’re welcome, and thank you.

Best,

Maarten


> 
> 
> ===============================================
> 
>>> On 2020-04-08, at 12:04, Nestor Aguilera <[email protected]> wrote:
>>> 
>>> Thanks TJ. I tried your suggestion but it doesn't seem to work.
>>> 
>>> Best, Nestor
>>> 
>>> ===============================================
>>> 
>>>> On 7 Apr 2020, at 20:50, TJ Luoma <[email protected]> wrote:
>>>> 
>>>> I think what you want is
>>>> 
>>>> Preferences > Editing > Live Search results
>>>> 
>>>> Uncheck that and try again.
>>>> 
>>>> -- 
>>>> This is the BBEdit Talk public discussion group. If you have a feature 
>>>> request or need technical support, please email "[email protected]" 
>>>> rather than posting here. Follow @bbedit on Twitter: 
>>>> <https://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 view this discussion on the web visit 
>>>> https://groups.google.com/d/msgid/bbedit/CADjGqHtL%2BR%3DM9TUDXZmoxDQzhQmOi9897asVmKxwwkpKBP0HrA%40mail.gmail.com.
>>> 
>>> -- 
>>> This is the BBEdit Talk public discussion group. If you have a feature 
>>> request or need technical support, please email "[email protected]" 
>>> rather than posting here. Follow @bbedit on Twitter: 
>>> <https://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 view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/bbedit/EA6AD973-D62F-4A6F-91D8-76B9DD8A32D5%40gmail.com.
>> 
>> -- 
>> This is the BBEdit Talk public discussion group. If you have a feature 
>> request or need technical support, please email "[email protected]" 
>> rather than posting here. Follow @bbedit on Twitter: 
>> <https://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 view this discussion on the web visit 
>> https://groups.google.com/d/msgid/bbedit/F3130146-4324-4A87-A588-A42C52C41496%40xs4all.nl.
> 
> -- 
> This is the BBEdit Talk public discussion group. If you have a feature 
> request or need technical support, please email "[email protected] 
> <mailto:[email protected]>" rather than posting here. Follow @bbedit on 
> Twitter: <https://twitter.com/bbedit <https://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] 
> <mailto:[email protected]>.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/bbedit/429CD588-6C54-4DB5-9FEE-F4D3EFA077B5%40gmail.com
>  
> <https://groups.google.com/d/msgid/bbedit/429CD588-6C54-4DB5-9FEE-F4D3EFA077B5%40gmail.com>.

-- 
This is the BBEdit Talk public discussion group. If you have a feature request 
or need technical support, please email "[email protected]" rather than 
posting here. Follow @bbedit on Twitter: <https://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 view this discussion on the web visit 
https://groups.google.com/d/msgid/bbedit/EFFECBE8-B175-4E35-9A15-576DB10DA63F%40xs4all.nl.

Reply via email to