Togetterのまとめのページをゴニョゴニョするやつ | mattz.xii.jp
togetterのまとめページで、オリジナルのtweet(要するにパーマリンク)へのリンクが素直じゃないので作った。 ついでに、個人的には名前のところもtogetter内のユーザページじゃなくてtwitter.comのユーザページに飛んで欲しいので、そういう処理もします。 bookmarklet版 javascript:(function(){t='https://twitter.com/';l=document.querySelectorAll('.status_right');for(i = 0;i<l.length;i++){u=l[i].querySelector('.status_name');n=u.textContent;u.href=t+n;s=l[i].querySelector('[onclick]');if(s){d=s.getAttribute('onclick')
新しいケストレル ベータ 2がやってきた - Choose Opera 日本支部 - by Choose Opera 日本支部
Uncategorized Android 用 Opera Mini – ビデオ用最速ブラウザ March 8th, 2016 Android 端末でビデオを見ようとして 1 日に何度読み込みが遅いと感じることがあるでしょうか。 Android 用 Opera Mini はこの問題を新機能「ビデオビースト」でビデオを最適化しビデオのサイズを小さくすることによって解決しました。この高速モバイルブラウザを未だお試しでなかったら Google Play ストアからダウンロードしてください Ericsson Mobility Report(PDF です) によると、2020 年までにモバイルでのデータの 55% はビデオになるとのことです。... Uncategorized NifMo に Opera Max が協力し通信量節約キャンペーン March 1st, 2016 Android 用データ
Opera Mobile超俺得まとめ 2 【12/29更新】
opera:config内の ・User JavaScript ・Always Load User JavaScript のふたつをチェックした上で、JavaScriptが入ったディレクトリを ・User JavaScript File に記述する。 たぶん、 /mnt/sdcard/opera/userjs/ とかに設定しておけば良いハズ。 正直言って、UserJSの管理はPCからした方が良いと思います。Android上のファイラでちまちまファイルの移動とかクソめんどくさいです。 No More Scripts UserJSを動かしながらサイトのJavaScriptを無効化する。 正直言って、JavaScriptはスマホにとっては結構な負荷になりやすいので、いらない処理はガンガン削減するべきだと思う。 ※ただし、動作の性質上（マウスポインタを乗せると設定項目が開く）、動作アイコンと同じ位
gmailでの不満解消。
今までの不満 周知の通り、僕はキーボード大好きっ子です。 キーボードに触れて作業することに喜びを感じる生き物なので、アプリケーションはもちろん、Webもなるべくキーボード操作したいと思っています。 ところで、キーボードで操作出来るWebの代表例はgmailですね。 gmailのお陰で僕はメーラーを捨てることが出来るくらい、gmailの使い勝手は良いです。 そのgmailに不満点が一つありました。 それは2ストロークのショートカットが効かないというものでした。 例えば、inboxへ移動するg,iというアクションが効かなかったのです。 これは作業効率を大幅に下げるもので不満の元でもありました。 特殊環境でのみ発生する不具合 ちなみに、この現象、非常に特殊な環境でのみ発生します。 それは以下の環境です。 使用ブラウザがOpera keyboard.iniに2ストロークアクション(g,gみたいなの
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなが、はてなブックマークOpera extensions を作ってくれないから… - ゆず日記
現状。 どうして、はてなさんは、 - あまたの何かしら。 ただ、仮にリリースされたとしても、ボクはOperaでアドレスバー表示していない為Chromeのようにアドレスバーの横に表示されても見れない。 参考: ボクのOpera(見やすく縮小)。アド・・レスバー・・・？ 参考: Chromeのはてブ拡張。常にアドレスバーやExtensionsのアイコンが表示されてちょっと邪魔。 ※ Extensionsのアイコンは隠せるそうです。 Google Chromeの拡張のアイコンが邪魔なので、消したい！ - あまたの何かしら。 なのでUserJSで作った。 や、ブックマークレットとはてブ追加ボタン組み合わせただけなんですけど。 yuzuemon/append-hatebu · GitHub // ==UserScript== // @name append-hatebu.user.js // @in
livedoor Reader liteを使いやすくする(かもしれない)Opera Mobile用User JavaScript。 - 書くことないです。
Android版Opera Mobileが出ましたね。使い勝手の良さとか、日本語表示の問題とか、良くも悪くもOperaで安心しました(笑) で、このOpera Mobile、今までにもあったOpera Miniと違ってUser JavaScriptが動かせます。Mozilla Firefoxで言うところのGreaseMonkeyのようなものです。これが実際にOpera Mobileで動作するかのチェックと、最近ちょっとlivedoor ReaderのAPIについて調べてたので、そちらの検証も兼ねてUser JavaScriptを書いてみました。 livedoorReaderLiteOptimizer.js やっていることは、 livedoor Reader liteの表示をOpera Mobileに最適化する 記事の詳細を非表示にして一覧性を上げる（記事の詳細は[Detail]ボタンを押せ
多分、誰か既にやってると思うけれど
Operaで、tumblrのスクロールが変Operaでtumblrを使っていて前から、スクロールが変だなぁと思っていました。 tumblrはデフォルトで、j/kで画像を上下にいけるのですが、Operaでみてると何故か数ピクセルだけ余計にスクロールするんです。 そのため「○○user」の部分が見えなくて、若干苛立を感じていました。 他のブラウザではそんな事ないのでなんでかなーと思いつつも、生きていくのさほど影響が無いので放置していました。 ところが今日、ふとある事に気づきました。 世の中変なOpera使いは少ないと思いますが、JやKにScroll up/downアクションを割り当ててる人っていると思うんですね。 それが、悪さをして数ピクセル余分に移動してるんじゃないかなと思ったわけです。 そういう訳で、書いたUserScriptは以下のようになります。 名前はkeyaction_cancel
DisOpenWinS - 工房らくだ舎
概要 usoDisOpenWinSuperS は、サイト側の都合によって新しいウィンドウが勝手に開くことを阻止する Opera 用のユーザスクリプトです。 機能 このスクリプトは標準で以下の機能を提供します。 window.open メソッドで新しいウィンドウが開く場合は、 top ウィンドウ内に iframe で疑似ポップアップとして開きます。 target 付きのリンクまたはフォームから新しいウィンドウが開く場合は、それを阻止して top ウィンドウで開きます。 また、オプションにより以下の挙動を選択出来ます。 window.open メソッドで新しいウィンドウが開く場合は、それを阻止して top ウィンドウで開きます。 target 付きのリンクまたはフォームから新しいウィンドウが開く場合は、 top ウィンドウ内に iframe で疑似ポップアップとして開きます。（ただし、 win
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Favstar.fm用のUserScriptを書きました。
今日、favstar.fmを見てみたんだけどなかなかいい感じ。 クローリング速度が十分速い。 でも、不満点が無いわけではない。 それは、ふぁぼったー風の文字表示。 あの色表現が絶妙なんだよね、ふぁぼったーって。 favstar.fm用のぐりもん見つけたColorful Favstar.fm for Greasemonkey http://userscripts.org/scripts/show/82891 Firefoxユーザだとコレで良いよね。 でも、Operaユーザ的にちょいこれだと不満。 後、フォント小さすぎる。 favstar.fmと若干デザインが合わない。 ということでコード書いた。保存して使ってください。 恐らく、.user.jsよりも.jsで保存する方がOperaユーザは幸せになれるとおもう。 (僕はcolorful_favstar.fm.jsって名前にした) // ==Us
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Opera の UserJS に関するモヤモヤをスッキリさせる - 何にしても生っかじりの朴念仁
私の脳内でモヤモヤしていたものを整理してみました。誤り等がございましたら、ご指摘をいただけると幸いです。 Opera の UserJS とは？Opera*1 ではアクセスした Web ページに対し、追加で任意の JavaScript を適用できる機能(初期設定ではオフ)がある。そのスクリプトファイルが UserJS である。 正式名称は User JavaScript (UserJS , ユーザー JavaScript , ユーザースクリプト などと表記されている場合が多い)ここでは UserJS と表記する。利用方法任意の場所に UserJS 専用のフォルダを作成する。(ここでは %APPDATA%\Opera\Opera\profile\userjs とする。) UserJS は、このフォルダに保存する。 Opera を起動し、ツール > 設定 とクリックする。 表示された設定画面で、
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Togetter関連の諸々を一つにまとめてみました | mattz.xii.jp
2011/05/31 追記 Togetterがリニューアルで色々と変わって、そのままでは使えないのでとりあえずリンク外します。リニューアル対応はすすめていますが、Togetter自体、このあともしばらくは変更が入りそうなので、ある程度落ち着いたところでver 4.0.0を出します。 Togetter関連のもろもろを1つのuser.jsにまとめた。 ダウンロード→ http://mattz.xii.jp/sites/default/files/togetter.js 2010/04/26 追記 greasemonkeyタグつけてブックマークしている人とかいて申し訳ないので、Greasemonkey分からないなりに頑張って対応してみた。→ http://mattz.xii.jp/sites/default/files/togetter.user.js 2010/04/27 追記 ちょこちょこと
Opera News
AI, Opera for Android Opera for Android 81 now comes with Ask Aria and Aria Voice features for improved... March 13th, 2024 Opera for Android 81 introduces Ask Aria and Aria Voice, enhancing AI-based browsing with features for in-depth exploration and voice... AI New AI Feature Drop: Ask Aria & Aria Voice to boost your browsing on the... March 12th, 2024 We're excited to introduce Ask Aria and Ari
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OperaMobile用のユーザースクリプト gesturebox.js
Opera News