トップ «前の日記(2013-06-19(水)) 最新 次の日記(2013-06-21(金))» 編集

新秀の介の日記

過去の日記

2013-06-20(木) 少し涼しくなった

_ 夕方になると忙しい

今日は、ほとんど仕事がなかったの早く帰れると思っていたら、夕方になって、生産のための部材が不足しているという連絡。調査と調整に手間取って、結局、いつもと同じ時間になってしまった。なかなか、うまく行かないものだな。

Tags: 仕事

_ 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で修正されるのかな。

Tags: Debian

Copyright (C) 2005-2012 by Hidenosuke. All rights reserved.
mailto: hidenosuke_at_hidenosuke_dot_org or hideo.oshima_at_gmail_dot_com