https://bugs.documentfoundation.org/show_bug.cgi?id=153890
[email protected] changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #5 from [email protected] --- (In reply to Heiko Tietze from comment #2) > No objection; but I also see not much benefit. Ok. When I first used this option, I was uncertain whether it was exact match or similarity match. Discovered post facto that the help page also describes it as "Automatically marks all other occurrences of the selected text...", so at least now the label matches the help. (-: Added tooltip as well. -- You are receiving this mail because: You are the assignee for the bug.
