muneda's diary

_1 キーボード操作でデスクトップを切り替える方法 (KDE)

Kubuntuの標準設定ではキーボード操作だけではデスクトップを切り替えることができない*1．設定はとても簡単．設定方法を以下に示す．

KDE メニューから

1) システム設定(systemsettings)
2) コンピュータの管理 キーボードとマウス
3) キーボードショートカット

とたどる．一覧の中に

デスクトップ切替え
 次のデスクトップに切替え
 前のデスクトップに切替え

とある．それぞれ

o カスタム

の横にある「なし」ボタンを押し，表示されたダイアログにフォーカスをあわせた状態で設定したいショートカットキーを押すとそれに設定される．設定はたったこれだけ．

手元では

Alt+Ctrl+右
Alt+Ctrl+左

に設定した．これでまたひとつマウス操作を減らすことができた．キーボードショートカット万歳．なおこの設定は以下のファイルに保存されている．

~/.kde/share/config/kdeglobals

[Global Shortcuts]
Switch to Next Desktop=Alt+Ctrl+Right
Switch to Previous Desktop=Alt+Ctrl+Left

このほかにもいろいろ便利なショートカットが存在しているので徐々に覚えていこう．

_2 残業

帰ろうかなと思ったところに，コレは！と思えるようなナイスコードを思いついた．月曜日には忘れてしまいそうだったのでバスを乗り過ごしてコーディング．うむ，なかなかよさげな気がする．

でも終バスだった……