2007-06-12 ua firefox tool Firefox の network.http.pipelining の設定をツールメニューから手軽に切り替えるための userChrome.js 用の userChrome.xul スクリプトを書いてみました。 <?xml version="1.0" encoding="UTF-8"?> <overlay xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"> <script language="JavaScript"> function pipelining_toggle(element){ var prefObj = Components.classes["@mozilla.org/preferences-service;1"].getServic