Das kann ich dir nicht sagen, da ich von Javascript nicht viel verstehe. Ich kann dir nur sagen, dass Firefox sowas bietet, ohne Cache -> "force reload = strg+f5" bietet. Klickt man auf den Begriff, landet man hier:
Es wäre auch leider möglich, dass diese Routine/API nur von Erweiterungen aus aufgerufen werden dürfen und keinem anderen Javascript, das konnte ich anderweitig schon mal lesen.
Ja, location.reload ist hier nicht möglich, aber dafür browser.reloadWithFlags.
testerer :
Teste dieses Skript. Warte nach dem Start wieder mindestens 5 Sekunden, dann klicke auf einen ungeladenen Tab, dieser sollte sofort aus dem Cache geladen werden und nach 5 Sekunden vom Server neu geladen werden.
(function() {
if (!window.gBrowser)
return;
setTimeout(() => {
const flags = Ci.nsIWebNavigation.LOAD_FLAGS_BYPASS_CACHE;
let tab = gBrowser.tabs[0];
while (tab && tab.pinned) {
tab.linkedBrowser.reloadWithFlags(flags);
tab = tab.nextSibling;
};
while (tab) {
if (tab.selected) {
tab.linkedBrowser.reloadWithFlags(flags);
} else {
tab.notReloaded = true;
};
tab = tab.nextSibling;
};
gBrowser.tabContainer.addEventListener('TabSelect', event => {
let tab = event.target;
if (tab.notReloaded) {
setTimeout(() => {
tab.linkedBrowser.reloadWithFlags(flags);
tab.notReloaded = undefined;
}, 5000);
};
}, true);
}, 5000);
})();Es funktioniert nach ersten Tests, herzlichen Dank.
Allerdings gibt es die Probleme weiterhin mit den angepinnten Tabs, weil die ja sofort nach Firefox-Start laden.
Das hier war das Script von 2019 für angepinnte Tabs und müsste wahrscheinlich auch angepasst werden:
(function() {
if (!window.gBrowser)
return;
setTimeout(function() {
let tab = gBrowser.tabs[0];
while (tab && tab.pinned) {
tab.linkedBrowser.reload();
tab = tab.nextSibling;
};
}, 2000);
})();
Was funktioniert nicht mit den angehefteten Tabs? Mit dem obigen Skript werden auch sie 5 Sekunden nach dem Start vom Server neu geladen.
Spricht etwas dagegen, browser.sessionstore.restore_pinned_tabs_on_demand auf true zu haben?
Ich habe ohnehin vor, die Zeiten zu verkürzen, aber erst, wenn das Neuladen richtig funktioniert.
Chronik anlegen nach benutzerdefinierten Einstellungen anlegen
Das sollte überhaupt die bevorzugte Einstellung sein.
Bevorzugt für wen und auf welcher Grundlage? Die Standard-Einstellung sieht nicht grundlos anders aus.
