Searched refs:SetHighlightOption (Results 1 – 2 of 2) sorted by last modified time
1487 function SetHighlightOption(on) { function1492 SetHighlightOption(on);
111 SetHighlightOption(true); // true or false