Workround for problem with fix for issue #45: When two preference dialog controls have the same ID but one of them is not visible, the other one (on a different page) would be highlighted, although it really has nothing to do with the search term and just coincidentally has the same ID.
7f1ce9bPeter Frentrup12mo ago
