Mozilla Re-Mix: Firefoxの[places]データベースをクリーンアップしてくれるアドオン「PlacesCleaner」
Firefoxが重くなる原因の一つにデータベースファイルである[places.sqlite]の肥大化があげられます。 すでにこのような現象に対処するため、データベースを最適化することができるアドオンやソフトウェアが数多く公開されており、こうしたツールを導入されている方は定期的に実行してFirefoxのパフォーマンスを最大限に発揮できるようにされていることでしょう。 このようなツールは、ほとんどの場合複数あるデータベースファイルをREINDEX（インデックスの再構築）したりVACUUM（データベースの不要領域を最適化）したりすることができるというもので、利用環境によってはFirefoxのパフォーマンスをかなりアップ（高速化というより元に戻す）させることができます。 そんな数あるパフォーマンス回復アドオンの中から、今回はデータベースの最適化を行いながら、あまり訪問していない履歴ファイルの削除な
select 要素で completer - caisuiの日記
通販の入力をしてて select 要素が 煩わしかったので作ってみた。 こんな感じ XUL/Migemo が あれば migemo検索、 無ければ 通常の部分一致で絞れます。 一応、変更後 change eventを 発行していますので、 多段型の場合でも動作するはずです。 optgroup が ある場合は「グループラベル/オプションのText」と なります。 で すぐに completerが 開くようにしていますが、 autoShowComplete = 0 で off にできます。 また、入力状態無しで 一覧を見たかったので、先頭にわざと[" ",""]を挿入しています。 「" "」なのは、completer で "" は 想定されていないようで、ちょっと表示がおかしくなるからです。 (補完しようとしているのに、文字が無いわけですから、当然といえば当然なんですけどね…) 商品は買えなか
はてなグループの終了日を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
Mozilla Re-Mix: Firefox各部のフォントを大きく、見やすくできる3つのアドオン。
小さなディスプレイでFirefoxを使っていると、やはり各部が見にくいものですね。 特に視力が良くない方にとっては、ロケーションバーなどに何が書いてあるのかが一目で判断できないようなこともあります。 ブラウジングしているページ自体は、ページの拡大・縮小などでどうにでもなりますが、こうしたUI各部のフォントサイズなどはアドオンやスクリプトに頼るしかありません。 今回は、そんなFirefox各部のフォントサイズを大きめに変更することができる３つのアドオンを試してみました。 まず、フォントサイズも小さく見にくいロケーションバーをちょっと見やすくしてみましょう。 利用するアドオンは「Make Address Bar Font Size Bigger」というものです。 これをインストールすると、以下のようにロケーションバーのフォントサイズが太く大きくなり、かなり見やすくなります。 ■デフォルトロケー
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Termtterのプロンプトに関するアイディア - ktgy1016の日記
というほど大それたものではないのですが……。 Termtterのプロンプトは、コマンドを入力するとき以外は、出ていなくてもいいんじゃないかな、と思ったのが出発点です。 必要なときは、たとえば":"キーなどを入力すると、タイムラインの流れを止めてプロンプトが現れます。コマンドを入力し終わったら、ふたたびタイムラインが流れます。 「日本語入力中にタイムラインが流れて……」というトラブルを避けることができるでしょう。 ショートカット しかし、上記のような動作をする場合、":"キーのぶん打鍵数が増えるのが業腹ですね（？）。 そこで、よく使うコマンドは、一発で呼び出せるようにするとよいのではないでしょうか。 たとえば、"u"キーを押すと update >というようなプロンプトが現れて、いきなりポストする内容を入力する、というようなものです。 さらに、引数をとらないコマンド（"exit", "help
複数のページを並べて表示できるTile Tabs - Firefox更新情報Wikiブログ
2024 04 ≪ 05月 12345678910111213141516171819202122232425262728293031 ≫ 2024 06 今回紹介するFirefox拡張機能はTile Tabs。 フレームのように表示する部分を分割して、複数のページを同時に閲覧できます。 タブを複数開いている状態で、ツールバーに追加したボタンもしくはTileメニュー/コンテキストメニューの「Tile All Tabs」→「Grid」を選択すると、表示領域をグリッド状（格子状）に並べるように分割して、開いているすべてのタブが一覧できます。グリッド状のほか、「Horizontal」で上下に並べるように分割、「Vertical」で左右に並べるように分割できます。 表示領域を分割しても、ツールバーやタブバーはそのまま。分割しているタブのうち、現在のタブの下には青い実線が表示され、ほかのタブの下
Googleアカウントを簡単切替「Google Account Switcher」 :教えて君.net
Gmailのアカウントを仕事用とプライベート用で分けている人は、Chrome用の拡張「Google Account Switcher」を利用しよう。ログアウト・ログインを行わなくても、Chrome上でならワンクリックでアカウントを切り替えられるようになるぞ。 Googleアカウントを複数使い分けていると、切り替え時にいちいちログアウトしてから再ログインしなければならず面倒くさい。Chrome用の拡張「Google Account Switcher」にアカウント情報を登録しておくと、Googleのメニューに「more」という項目が追加され、そこからアカウントを選択するだけで 簡単にアカウントの切り替えが行えるようになる。パスワードの失念を予防できるという点でも便利な拡張。ただし、誰でもログインできてしまうので、セキュリティに不安のある環境では利用しないのが吉。 ■ Googleのアカウントを
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Vim Intellisense
Welcome to the website of Vim Intellisense. This site provides you the information about the intellisense for Vim, documentation and on how to enable intellisense for new languages. Needless to say intellisense is very helpful while developing the programs. While developing Java or in .NET (C#) it is not possible to remember all the interfaces and its methods, APIs etc. The IDE or editor should he
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
一度に読み込むタブ数を制限するLoad Tabs Progressively - Firefox更新情報Wikiブログ
2024 07 ≪ 08月 12345678910111213141516171819202122232425262728293031 ≫ 2024 09 今回紹介するFirefox拡張機能はLoad Tabs Progressively。 複数のタブを同時に開いたとき、一度に（並列に）読み込むタブの数を制限します。 ブックマークフォルダを中クリックしたときなど複数のタブを同時に開くと、まずは最初のタブを読み込んで、そのタブが読み込み終わると待機していた次のタブを読み込む…、このように、タブの読み込みを順番に行っていきます。 一度に読み込むタブを制限設定の「Maximum number of concurrent loading tabs」では”一度に読み込むタブの最大数”を指定でき、「0」を指定すると制限せずに、今まで通りすべてのタブを一斉に読み込みます。 例えば、標準設定の「3」の
はてなグループの終了日を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
Auto Complete Mode for GNU Emacs
A demo movie for auto-complete-mode v1.2 (aka auto-complete.el). http://cx4a.org/software/auto-complete/
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Vimperator plugin: RichTextEditorのHTMLを外部エディタで編集
Chrome拡張入門
example.vimperatorrc
2chのdat落ちしたスレを右クリックで即座に蘇生させられるFirefoxアドオン「fire2chDat」:phpspot開発日誌