MozillaOptimizer: verschil tussen versies

Uit MozBrowser wiki
Naar navigatie springen Naar zoeken springen
k
k
 
Regel 15: Regel 15:
 
user_pref("network.http.max-persistent-connections-per-server", 8);<br>
 
user_pref("network.http.max-persistent-connections-per-server", 8);<br>
 
user_pref("nglayout.initialpaint.delay", 0);<br>
 
user_pref("nglayout.initialpaint.delay", 0);<br>
 +
 +
Wil je dit programma niet gebruiken dan zijn de instellingen het makkelijkste door te voeren door de bovenstaande tekst in je user.js te zetten. De makkelijkste manier om je user.js aan te passen is door de extentie [http://update.mozilla.org/extensions/moreinfo.php?id=17&vid=18&category=Configuration ChromEdit] te installeren. Deze extentie maakt ook de user.js aan voor je als je die nog niet had.

Huidige versie van 11 aug 2004 om 09:36

De Duitse website ComputerBase heeft het programma Mozilla Optimizer gemaakt. Op zich is dit weinig revolutionairs, want hiermee zijn een aantal bekende Mozilla-instellingen eenvoudig te wijzigen. Dit zou ervoor moeten zorgen dat Mozilla (nog) sneller in gebruik wordt.

Maar het is natuurlijk wel prettig dat deze instellingen via dit programma eenvoudig te wijzigen zijn.

Hieronder een overzicht van deze instellingen:
user_pref("content.notify.ontimer", true);
user_pref("content.notify.interval", 100);
user_pref("content.notify.backoffcount", 200);
user_pref("network.http.pipelining", true);
user_pref("network.http.proxy.pipelining", true);
user_pref("network.http.pipelining.maxrequests", 8);
user_pref("network.http.max-connections", 60);
user_pref("network.http.max-connections-per-server", 32);
user_pref("network.http.max-persistent-connections-per-proxy", 16);
user_pref("network.http.max-persistent-connections-per-server", 8);
user_pref("nglayout.initialpaint.delay", 0);

Wil je dit programma niet gebruiken dan zijn de instellingen het makkelijkste door te voeren door de bovenstaande tekst in je user.js te zetten. De makkelijkste manier om je user.js aan te passen is door de extentie ChromEdit te installeren. Deze extentie maakt ook de user.js aan voor je als je die nog niet had.