2013-06-20(木) 少し涼しくなった
_ 夕方になると忙しい
今日は、ほとんど仕事がなかったの早く帰れると思っていたら、夕方になって、生産のための部材が不足しているという連絡。調査と調整に手間取って、結局、いつもと同じ時間になってしまった。なかなか、うまく行かないものだな。
_ Bug-org 582993 : offer an Tab Menu Item/Function to restore all closed (by "Close Other Tabs") Tabs at once e.g. by "Undo Close Tabs"
Bug-org 866880 : Implement "Close Tabs to the Right" as a built-in feature*1が実装されたが、一度に複数のタブがクローズされたのであれば、クローズされたタブすべてを復元したいと思うのが人情というもの。で、このバグが登録されていたので、おれも欲しいとコメントしてみた。
*1 このバグは、やすっち。さんに教えていただいた。
_ クッキー情報センター「Cookie Clearinghouse」開設 - Firefoxで利用検討
興味はあるのだが、この記事を読んでも、今ひとつピンとこない。元ネタのThe Cookie Clearinghouseと、How The Cookie Clearinghouse Worksを、どなたか和訳してくださいm(__)m。
_ gnome-bluetooth 3.8.1-1
gnome-bluetoothパッケージを3.4.2-1から3.8.1-1にアップグレードしたら、gdmからログインしてもパネルが表示され無くなった。~/.xsession-errorsには、
JS ERROR: !!! Exception was: TypeError: GnomeBluetoothApplet.KillswitchState is undefined JS ERROR: !!! message = '"GnomeBluetoothApplet.KillswitchState is undefined"' JS ERROR: !!! fileName = '"/usr/share/gnome-shell/js/ui/status/bluetooth.js"' JS ERROR: !!! lineNumber = '97' JS ERROR: !!! stack = '"()@/usr/share/gnome-shell/js/ui/status/bluetooth.js:97 wrapper()@/usr/share/gjs-1.0/lang.js:204 ()@/usr/share/gnome-shell/js/ui/status/bluetooth.js:56 wrapper()@/usr/share/gjs-1.0/lang.js:204 ()@/usr/share/gjs-1.0/lang.js:145 ()@/usr/share/gjs-1.0/lang.js:239 ()@/usr/share/gnome-shell/js/ui/panel.js:1135 wrapper()@/usr/share/gjs-1.0/lang.js:204 start()@/usr/share/gnome-shell/js/ui/main.js:234 @<main>:1 "' ウィンドウ・マネージャーの警告: Log level 32: Execution of main.js threw
ってなメーッセージが残っていた。ひょっとすると、gnome-control-center 1:3.4.3.1-5で修正されるのかな。
Copyright (C) 2005-2012 by Hidenosuke. All rights reserved.
mailto: hidenosuke_at_hidenosuke_dot_org or hideo.oshima_at_gmail_dot_com