新秀の介の日記

_ 帰りの雨

会社を出た時には降っていなかったのに、駅を出たら強い風と雨。10分ほどの道のりで、下半身がぐっしょり。雨だけなら、こんなことにはならないのだが、風がなあ。

_ Bug 3126 : リロード時にDNSのキャッシュを更新してほしい

Bug-org 198594 : DNS: "shift-reload" should reload DNS cache too, and be documentedはFIXEDになっているとコメントしたが、誰からも反応がないので、ひとまず、こちらもFIXEDとした。

_ Bug 6774 : 特定の条件下でlet定義を使うとエラーの際に不正確なエラーメッセージが表示される

Bug-org 469758 : Incorrect error message with adjacent "let" blocksはFIXEDになっている。テストケースを試してみたところ、Descriptionのとおり、エラーコンソールには、"Type Error: b is null"と表示される。といことで、こちらもFIXEDとした。

_ お気に入りのGNOME Shell Extensions

ネタがないので、現在インストールしている、GNOME Shell Extensionを晒してみる。

• Advanced Volume Mixer - 標準のボリュームにアプリケーションごとのボリューム設定や出力先の選択などを追加してくれる。
• All-in-one Places - HOMEやDesktopなどの様々な場所をNautilusから一発で開ける。ファイル操作の履歴も表示できる。
• Alternative Status Menu - ユーザメニューの"サスペンド"に加えて、ハイバネートと電源オフを追加する。
• Frippery Move Clock - パネル上の時計表示を右端に移動。
• Hide Dash - アクティビティ画面から、"Dash"を消す。
• Media player indicator - 標準のボリューム画面にメディアプレーヤの制御機能を追加。Advanced Volume Mixerと組み合わせると、更に良い。
• NetSpeed - インターネット速度を表示。
• Nothing To Do - パネルのカレンダーから、予定情報を消す。
• Panel-Docklet v14 - アプリケーションランチャーとウィンドウリストを兼ねるすぐれもの。場所を取らないのも、良い。
• Removable Drive Menu - リムーバブルディスクへのアクセスと取り出しメニューを追加する。
• Remove Accessibility - パネルからAccessibilityボタンを消す。
• SettingsCenter - ユーザメニューにgnome-tweak-tool、dconf-editor、gconf-editorなどのメニューを追加。これひとつで、GNOMEの設定の殆どにアクセスできる。
• User Themes - ユーザディレクトリに、テーマをインストールできる。

と、結構な数をインストールしていることに、改めて気づいた(^_^;)

_ Bug-org 602006 : Remove Error Console Menu Items

長い間使われてきたError Consoleが、ついに削除された。今後は、Web Consoleが代わりに使われることになるだろう。当初は、もっと早い時期にError Consoleは削除されるはずだったが、Web Consoleのあまりの機能の低さにのびのびになってきた。現在のWeb Consoleは、以前のError Console以上の機能を持っているので、特に問題にはならないだろう。

[追記]削除されたわけではなく、無効にされただけのようだ。devtools.errorconsole.enabledをtrueにすれば、復活するみたい。