зеркало из https://github.com/mozilla/pjs.git
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:
Родитель
b6db57bdf7
Коммит
1f36848b74
|
@ -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;
|
||||
}
|
||||
}
|
||||
|
|
Загрузка…
Ссылка в новой задаче