|
先日 Opera で、スクロール量をブックマークレットで調整してみました。 その方法を、もうちょっと手軽にと言うか、バックアップを取りやすいやり方にしたものが紹介されていたので、さっそく変更してみたり。
■僕がより便利で快適にOperaを利用する為に変更したキーバインド http://d.hatena.ne.jp/NovaEra/20110222/1298377048
まず先日のブックマークレットから、「Go to page, "」と末尾の「"」を削除したものを、普通にブックマークとして登録します。
・PageDown用 javascript:(function(){var time=5, scroll_ratio=90;var i=0,d=document,w=(document.compatMode=='BackCompat')?d.body:d.documentElement,s=w.scrollTop,e=s+w.clientHeight/(100/scroll_ratio),v=(e-s)/time,c=s;for(i;i<time;i++){setTimeout(function(){c+=v;w.scrollTop=c;}, i+1)}})();
・PageUp用 javascript:(function(){var time=5, scroll_ratio=90;var i=0,d=document,w=(document.compatMode=='BackCompat')?d.body:d.documentElement,s=w.scrollTop,e=s+w.clientHeight/(100/scroll_ratio),v=(e-s)/time,c=s;for(i;i<time;i++){setTimeout(function(){c-=v;w.scrollTop=c;}, i+1)}})();
そしてそれぞれの「ニックネーム」欄に適当な文字列を入れます(私は「_PgDn」と「_PgUp」にしました)。 でもって、先日と同じように、「ツール」→「設定」→「詳細設定」→「ショートカット」→「キーボード設定」→「編集」と進んで「Browser Widget」の「PageDown」と「PageUp」を削除。「Application」に「PageDown」と「PageUp」を新規作成して、それぞれの右側にブックマークレットを指定するわけですが。 この方法だと指定が「Go to page, "_PgDn"」、「Go to page, "_PgUp"」のように、ニックネームのみのごく短い記述ですませられるのですよ。 さらにブックマークレットそのものは、「ファイルにエクスポート」でバックアップが取っておけるので、なにかあったときの復旧も手軽になります。 うむ、便利便利。
……って、年の最後の一日にまで、大掃除もせずにこんなことをやっている私って……(遠い目)
ええと、本年中、いらして下さった皆々さまには、本当にお世話になりました。 残り数時間ですが、どうぞ良いお年をお過ごし下さいますように(^ー^)ノ~~
|
No.3545
(電脳)
|
|
|
|
この記事のトラックバックURL
|
https://plant.mints.ne.jp/sfs6_diary/sfs6_diary_tb.cgi/201112313545
|
|
|
|
プロフィール |
神崎 真(かんざき まこと)
小説とマンガと電子小物をこよなく愛する、昭和生まれのネットジャンキー。
ちなみに当覚え書きでは、
ゼロさん= W-ZERO3(WS004)
スマホ= 003P(Android端末)
シグ3= SigmarionIII です。
|
|
|