Google Desktop のホットキー

Windows では CraftLaunchEx にホットキー Win + Space を割り当てて使っているのだが、Google Desktop を入れてからホットキーが利かなくて困った。まぁ、多分 Google Desktop で Win + Space というホットキーを使っているんだろうけど、押しても何も起こらないし、設定画面は見つからないわで意味不明。
でまぁ、Google 先生に聞いてみたら答えが見つかった。

• ref: gadgets took over win-space shortcut key/hotkey - Something's Broken | Google グループ

ということで、regedit で HKEY_CURRENT_USER\Software\Google\Google Desktop\Preferences に hot_key_flags という DWORD 値を作って 0 に設定、Google Desktop を再起動で Win + Space のホットキーが無効になる。
いや、しかしそもそも、ホットキーが動いてなかったように見えるのだが*1、ホットキーの登録だけはされている(から他のアプリでホットキー登録に失敗する)とか何事だろ。

*1:動作としては Gadget の表示/非表示切り替えらしい。同じ動作の shift 2回は動く