That did it... many thanks, Michael.
On Sun, Feb 12, 2017 at 1:53 AM, Michael Van Canneyt via Lazarus <
lazarus@lists.lazarus-ide.org> wrote:
>
>
> On Sun, 12 Feb 2017, Tom Lisjac via Lazarus wrote:
>
> I would appreciate if someone could tell me how to disable the source
>> editor from drawing b
On Sun, 12 Feb 2017, Tom Lisjac via Lazarus wrote:
I would appreciate if someone could tell me how to disable the source
editor from drawing boxes around selected text matches in 1.6.2? No idea
what to google for as I don't have any idea what this option is called.
The options for this behav
I would appreciate if someone could tell me how to disable the source
editor from drawing boxes around selected text matches in 1.6.2? No idea
what to google for as I don't have any idea what this option is called.
Thanks,
-Tom
--
___
Lazarus mailing l