| Index: lib/ui.js |
| =================================================================== |
| --- a/lib/ui.js |
| +++ b/lib/ui.js |
| @@ -82,16 +82,18 @@ let optionsObserver = |
| } |
| function addCommandHandler(id, handler) |
| { |
| let element = doc.getElementById(id); |
| if (element) |
| element.addEventListener("command", handler, false); |
| } |
| + Utils.splitAllLabels(doc); |
|
Wladimir Palant
2013/07/09 12:10:59
I forgot about the labels on the settings page tha
|
| + |
| addCommandHandler("adblockplus-filters", UI.openFiltersDialog.bind(UI)); |
| let {Sync} = require("sync"); |
| let syncEngine = Sync.getEngine(); |
| hideElement("adblockplus-sync", !syncEngine); |
| let {defaultToolbarPosition, statusbarPosition} = require("appSupport"); |
| let hasToolbar = defaultToolbarPosition && !defaultToolbarPosition.isAddonBar; |