mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-14 13:55:43 +00:00
Bug 273149 - "toggling the Match case checkbox does not change the highlighting" [p=ehsan.akhgari@gmail.com (Ehsan Akhgari) r=Mano a1.9=beltzner]
This commit is contained in:
parent
990cfd1d5b
commit
90809e8fe5
@ -346,6 +346,8 @@
|
||||
case "accessibility.typeaheadfind.casesensitive":
|
||||
this._self._typeAheadCaseSensitive = prefsvc.getIntPref(aPrefName);
|
||||
this._self._updateCaseSensitivity();
|
||||
if (this._self.getElement("highlight").checked)
|
||||
this._self._setHighlightTimeout();
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user