Firefox72向けのuserChrome.js設定でウダウダする~

f:id:palm84:20191208185940p:plain

はーい (・ω・)ノ、Firefox老人会の皆様!ウダウダやってますかぁ?(挑発風にw)

まぁ、userChrome.js を使ってない方は全く関係なしですけどね... orz

とりあえずワシんとこで使ってる分はすべてなんとかなりました。(´Д`)ハァ…( ´Д`)=3 フゥ

環境設定の変更

詳しいやり方は下記をご参照ありたし。

アプリケーションインストールフォルダに以下のファイルを保存する install_folder/config.js アプリケーションインストールフォルダ\defaults\pref に以下のファイルを保存する install_folder\defaults\pref\config-prefs.js プロファイルフォルダに chrome フォルダを作り以下のファイルを保存する userChrome.css userChrome.js

userChrome.js/72 at master · alice0775/userChrome.js · GitHub

※ ダウンロードは Raw を右クリックして「名前を付けて...」、拡張子 .txt は外す

  • プロファイル\chrome フォルダ
    1. userChrome.xml を削除(※ あれば)
    2. userChrome.js 置換
    3. userChrome.css - ui変更で編集してる場合は下記の記述を消す
  • 71以前で記述していた下記を消去
toolbarbutton#alltabs-button{-moz-binding: url("userChrome.xml#js");}
  • インストール・フォルダ - C:\Program Files\Mozilla Firefox など
    1. config.js をコピー
    2. config-prefs.js\defaults\pref\ へコピー

そのままでおk

ちょっと変更しておk

そのままだとドラッグが少しおかしかったけど、同梱のファイル2点 (config.js, \defaults\pref\config-prefs.js) を置換で正常になりました。

今日のところはいじょんです!


ほなんです。