Mailing lists / lazarus / 2017-06
5 messages · 2 people · –
Reply by email Subscribe to this list Your subscription
Read-only archive. Use j and k to move between messages.
This is hilite of word dlg_hotkey_replace: other ids hilited too, but i dont want other words. How not to hilite other words?
Alexey wroteThis is hilite of word dlg_hotkey_replace: other ids hilited too, but i dont want other words. How not to hilite other words?
There is an option to control this.
Menu: Tools > Options > Editor > Display > Markup and Matches Highlight of Word under Cared: Match word boundaries for words up to this length.
The default is 3.
So Words with more chars, are highlighted also if part of a bigger word.
The default is 3. So Words with more chars, are highlighted also if part of a bigger word.
Do you agree that normal editors have "Whole words" option, and not "some length up to n" option?
Yes, but "up to" is more flexible, and fully includes the "whole word" option. So it is better.
Should we limit ourselves, just because others do?
Well ok it currently allows max of 100, if you have many longer words, then maybe we should allow a higher value. Feel free to provide a patch, to make it "infinity" if it really is an issue.
Do you agree that normal editors have "Whole words" option, and not "some length up to n"…
Yes, but "up to" is more flexible, and fully includes the "whole word" option. So it is better.
Should we limit ourselves, just because others do?
Well ok it currently allows max of 100, if you have many longer words, then maybe we should allow a higher value. Feel free to provide a patch, to make it "infinity" if it really is an issue.
