DockyというLinux用のドックには、プラグイン的なものとしてドックレットというものがあり、そのなかには「Timer Docklet」というものがある。
上のデスクトップはその画像なのだが、いかんせんこのドックレット、タイマーの時間設定の仕方が不親切で、ほとんどどこにもかかれていない。(そりゃもちろん公式には書いてあるけど)
てっきりどこかに設定のウィンドウがあるのかと思っていたが、まったく違ったので、設定の仕方についてのメモ。
基本的には SHIFT と ALT 、 ホイール を使うだけでよい
「SHIFT + ホイール」 で 分 の設定
「ALT + ホイール」で 秒 の設定
「SHIFT + ALT + ホイール」で 時 の設定ができる。
参考: http://wiki.go-docky.com/index.php?title=Timer_Docklet