誰が AutoPagerize を提供すべきか: Days on the Moon
はてなブックマークがリニューアルしました。新しいはてなブックマークの個人ページにはページ自動ロード機能、通称 AutoPagerize 機能 (そう呼んでいる人がどれだけいるかは知りませんが) がついています。さて、AutoPagerize のような一般の Web ページにも適用しうる機能は誰が提供すべきでしょうか。ページの製作者でしょうか? ユーザー側が (ブラウザの拡張機能も含む) ユーザースクリプトとして導入すべきでしょうか? はたまたブラウザ側の仕事でしょうか? Twitter 上でそのことに関するやり取りがあったので少しまとめてみました。 hotchpotch bbeta ってデフォルトで AutoPagerize ついてるんだ。変なボタン押すと有効になるっぽい(haihai sakura sakura) (2008-11-10 11:50) os0x はてなブックマークβ の
Opera で Google Web History を使えるようにする UserJS - mallowlabsの備忘録
新年一発目のエントリ。あけましておめでとうございます。 Google Web HistoryをOperaで使うにはどうすればいいのか。 - あまたの何かしら。 が 面白すぎたのでアイディアを丸ごともらってスクリプトを書いてみた。 enablegooglewebhistory.user.js // ==UserScript== // @name EnableGoogleWebHistory // @author mallowlabs // @namespace http://mallowlabs.s206.xrea.com/ // @version 0.0.2 // @license public domain // @description : Enable Google Web History // @published 2007-01-05 // @modified 2006-01-0
OperaのユーザーJavaScriptをFirefoxのGreasemonkeyと同じタイミングで実行する - 0x集積蔵
詳しい話は Opera のユーザーJavaScript は「.js」か「.user.js」かで実行されるタイミングが違う - m2O - チーム俺等におまかせするとして、結論を書くと。 OperaのUserJSはファイル名をuser.jsではなく、.jsにする DOMContentLoadedにaddEventListenerする 以上で、Greasemonkeyと同じタイミングで実行されます。 通常のonloadとの違いは画像などの読み込み完了を待たずに実行される点で、これが結構大きな違いになることが多々あります。 具体的にはこんな感じ。 // ==UserScript== // @name sample // @namespace http://ss-o.net/ // @include http://ss-o.net/* // @version 0.0 // ==/UserScrip
IE7強力無料アドオン「IE7pro 0.9.12」公開、グリモンっぽいことが可能に：CodeZine
IE7を強力にカスタマイズできるアドオン「IE7pro 0.9.12」が27日、公開された。IE7pro.comから無償でダウンロードすることができる。 IE7proは、IE7をより使いやすくすることができるアドオン。マウスジェスチャーや、プロキシスイッチ、ダブルクリックでタブを閉じる、といった機能に加え、「スーパーマウスジェスチャー」と呼ばれる機能がついている。これを使うと、Web上のリンクをドラッグ＆ドロップするだけで、リンク先を新しいタブで開くことができるようになり、かなり便利だ。また、反転表示させた文字をドラッグ＆ドロップした場合は、その文字を自動的にGoogleで検索してくれる。 今回のバージョンアップではGreasemonkey（グリースモンキー）に似た機能として「User Script」が搭載された。GreasemonkeyはFirefoxの人気拡張機能の1つで、Java
Opera News
AI New AI Feature Drop: Opera One Developer gets a new Aria access point and now... March 14th, 2024 In this week’s AI Feature Drop, early adopters using the Developer stream of Opera One can test using the Aria... 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, enha
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
reifysoft.com
http://www.bhelpuri.net/Trixie/
