タグ

greasemonkeyとoperaに関するas365n2のブックマーク (5)

  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
  • 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

  • 今のOpera (kuruman.org > Kuruman Memo)

    今のOperaのスクリーンショットを撮影してみた。パネルに出しているのはGreaseOperaと云う名前のUser JavaScriptマネージャ。カンマ区切りによるUserJS読み込み元の複数同時指定に対応していない事をのぞけばほぼ完璧といえる。なかなか便利。 この記事中にあるGreaseOperaを導入する際はGreaseOperaが上手く動かないを参照すると良いでしょう。GreaseOperaはベータ版でありその動作は完全なものではありません。導入に際してもいくらかの注意点があります。例えばopera6.iniの場所がC:\Documents and Settings\USERNAME\Application Data\Opera\profile\opera6.iniに決めうちされている為に複数プロファイルを使い分けている人間は一工夫必要となりますし、前述の通りUserJS読み込み元

  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
    as365n2
    as365n2 2006/08/04
    「スナップショット2ch」のミラーを呼び出す(?
  • UserJS倉庫

    一部のスクリプトはこっちにあるもののほうが新しいかもしれません。 Opera8.5 と 9.0TP1 で動くことを確認していますが、 自己責任で使用してください、ということに一応しておきます。 大半は Greasemonkey でも動きます。 はてなツールバーもどき (2005.10.28) 表示/非表示の切り替えはブックマークレット(HatenaBar)で行います。 アンテナ、ブックマーク、ダイアリー、グループのデザインをその場で編集 (2005.10.31) ブックマークレット(デザイン編集)で 編集ウィンドウを開きます。 テキストエリアにスタイルシートを入力して「プレビュー」を押してやると、その場でページのデザインが変わります。 テーマの変更もできます。この時点ではまだはてなのサーバーに情報は送られていません。 もう一度最初から編集し直したい、というときには「やりなおし」ボタンを押す

  • 1