|
@@ -177,7 +177,6 @@
|
|
|
});
|
|
});
|
|
|
let pendingSave = Promise.resolve();
|
|
let pendingSave = Promise.resolve();
|
|
|
let autoSaveProfileChanged;
|
|
let autoSaveProfileChanged;
|
|
|
- getHelpContents();
|
|
|
|
|
ruleProfileInput.onchange = () => {
|
|
ruleProfileInput.onchange = () => {
|
|
|
if (!autoSaveProfileChanged && ruleProfileInput.value != CURRENT_PROFILE_NAME) {
|
|
if (!autoSaveProfileChanged && ruleProfileInput.value != CURRENT_PROFILE_NAME) {
|
|
|
ruleAutoSaveProfileInput.value = ruleProfileInput.value;
|
|
ruleAutoSaveProfileInput.value = ruleProfileInput.value;
|
|
@@ -476,6 +475,7 @@
|
|
|
document.documentElement.classList.add("maximized");
|
|
document.documentElement.classList.add("maximized");
|
|
|
}
|
|
}
|
|
|
const tabsData = await browser.runtime.sendMessage({ method: "tabsData.get" });
|
|
const tabsData = await browser.runtime.sendMessage({ method: "tabsData.get" });
|
|
|
|
|
+ getHelpContents();
|
|
|
refresh(tabsData.profileName);
|
|
refresh(tabsData.profileName);
|
|
|
|
|
|
|
|
async function refresh(profileName) {
|
|
async function refresh(profileName) {
|
Gildas