― MozillaZine.jp フォーラムは Mozilla 製品に関する情報交換の場です ―



All times are UTC + 9 hours

新しいトピックを投稿する トピックへ返信する  [ 5 件の記事 ] 
作成者 メッセージ
投稿記事Posted: 2017年2月23日(木) 14:42 
オフライン

登録日時: 2017年2月06日(月) 21:46
記事: 7
メモリ節約の為に、必要な時だけ、特定のプラグインをオンにして使いたいのですが、
そういうプラグインの存在をご存知ないでしょうか?

具体的に今したい事は、
GreaseMonkeyとDownloadHelperのオン・オフを切り替えれるボタンをそれぞれ配置したいです。
※もしくは、ショートカットキーでそれぞれ切り替えれるようにしたいです。

------------------
Firefox 50
Windows 10 64bit Home

_________________
Mozilla/5.0 (Windows NT 10.0; WOW64; rv:50.0) Gecko/20100101 Firefox/50.0


通報する
ページトップ
 プロフィール  
引用付きで返信する  
投稿記事Posted: 2017年2月23日(木) 16:22 
オフライン

登録日時: 2013年12月26日(木) 09:33
記事: 686
お住まい: 太陽系、地球、日本、ふてニャン県
inocchi55 さんが書きました:
メモリ節約の為に、必要な時だけ、特定のプラグインをオンにして使いたいのですが、
そういうプラグインの存在をご存知ないでしょうか?

具体的に今したい事は、
GreaseMonkeyとDownloadHelperのオン・オフを切り替えれるボタンをそれぞれ配置したいです。
※もしくは、ショートカットキーでそれぞれ切り替えれるようにしたいです。

------------------
Firefox 50
Windows 10 64bit Home

アドオン(エクステンション)のオン・オフ? プラグインのオン・オフ?
いずれにせよ、Firefox(もしくはThunderbird)というソフトウェアの話ならば、
アドオンマネージャーの、ExtensionsタブとPluginsタブが、まさにそのためのものであり、
それを自分専用のボタンで行いたいのならば、
例えばGreesemonkeyのDisable/Enableの場合、アドオンマネージャーのExtensionsタブにおけるGreesemonkeyの項目に関してDOM Inspectorで調べ、
GreesemonkeyのDisable/EnableのボタンのXUL要素についてクリックエベントを発生させるスクリプトをちょちょこっと書いて、
Custom Buttonsというアドオンなどのボタンスクリプトにそのスクリプトを貼り付け、で済む類の話。

アドオンマネージャーの項目については、あるアドオン用の要素に割り当てられたユニークなID、といったものが無いようなので、XULエレメントをタグとかクラスで探して、その要素のvalue=Greesemonkeyのものを見つける、といったようなことが必要になりますし、
Firefox 50か51あたりでCustom Buttonsで追加したツールバーボタンが動かなくなってしまうとか、
Firefox 52か53以降アドオンはWebExtensionベースに変わる、といったようなことを考慮しないといけませんけど。


通報する
ページトップ
 プロフィール  
引用付きで返信する  
投稿記事Posted: 2017年2月24日(金) 14:01 
オフライン

登録日時: 2017年2月06日(月) 21:46
記事: 7
WADAさま


投稿ありがとうございます。
すみません、プラグインでなくアドオンです。

そして、詳細な情報をありがとうございます。

スクリプトを書けないので、私には難しそうですが、そういう方法があるんだなーと勉強になりました。
また、おそらく、そういうアドオンは存在しないのかな~とも推測できました。

教えていただいた方法で実現しても、52以降のバージョンで使えなくなることを考えると、
試行錯誤してこの方法で実現するのは、もう少し見合わせた方がいいのかな…とも思いました。

ありがとうございました

_________________
Mozilla/5.0 (Windows NT 10.0; WOW64; rv:51.0) Gecko/20100101 Firefox/51.0


通報する
ページトップ
 プロフィール  
引用付きで返信する  
投稿記事Posted: 2017年2月24日(金) 16:30 
オフライン

登録日時: 2007年1月14日(日) 14:24
記事: 138
お住まい: Osaka,Japan
 単純にアドオンマネージャの「無効化」「有効化」のクリックではだめなんでしょうか?再起動が必要なアドオンの場合、アドオンマネージャ上で再起動もできますし。ソースは失念したのですが、アドオンを無効化すると、アドオンは読み込まれないはずです。
 わざわざそれ用にアドオンを作らなくても、と思いますがどうでしょう?
 アドオンマネージャを使えばe10sもアドオンのWebExtensions化も気にしなくて済みますよ。

_________________
Mozilla/5.0 (X11; Linux x86_64; rv:51.0) Gecko/20100101 Firefox/51.0


通報する
ページトップ
 プロフィール  
引用付きで返信する  
投稿記事Posted: 2017年2月24日(金) 23:40 
オフライン

登録日時: 2017年2月06日(月) 21:46
記事: 7
mitsuguさま


投稿ありがとうございます。
結構頻繁に切り替えたいので、ワンクリックで切替できるといいな~と思った次第です。
「アドオンマネージャーを開いて、アドオンを探して、オン/オフする」という、ささいな手間が面倒に感じてしまうずぼらな人間でして、
いつも、結局は、オンにしっぱなしか、面倒くさくて、使った方が効率が良いシチュエーションでもオンにしない、という状況です。

_________________
Mozilla/5.0 (Windows NT 10.0; WOW64; rv:51.0) Gecko/20100101 Firefox/51.0


通報する
ページトップ
 プロフィール  
引用付きで返信する  
期間内表示:  ソート  
新しいトピックを投稿する トピックへ返信する  [ 5 件の記事 ] 

All times are UTC + 9 hours


オンラインデータ

このフォーラムを閲覧中のユーザー: なし & ゲスト[12人]


トピック投稿:  可
返信投稿:  可
記事編集: 不可
記事削除: 不可
ファイル添付: 不可

検索:
ページ移動:  
Powered by MozillaZine.jp® Forum Software © phpBB Group , Almsamim WYSIWYG
Japanese translation principally by ocean