KarabinerでEclipseのキーバインドを変更

eclipse-4.4を使ってみる。Cntl+SPACEでいつものように補完をさせようとするとしなくなった。調べると、Karaibnerがeclipse-4.2と4.4を別に識別しているらしい。~/Library/Application Support/Karabiner/private.xmlを修正する。eclipse-4.2はなにもしないでECLIPSEとして認識されていたが、4.4は

  
ECLIPSE_LUNA
org.eclipse.platform.ide
を定義して、
    
Swap Control-Space and Command-Space
ECLIPSE
private.chrome.swap_controlSpace_and_commandSpace
--KeyToKey-- KeyCode::SPACE, VK_CONTROL, KeyCode::SPACE, VK_COMMAND
--KeyToKey-- KeyCode::SPACE, VK_COMMAND, KeyCode::SPACE, VK_CONTROL
    
Swap Control-Space and Command-Space
ECLIPSE, ECLIPSE_LUNA
private.chrome.swap_controlSpace_and_commandSpace
--KeyToKey-- KeyCode::SPACE, VK_CONTROL, KeyCode::SPACE, VK_COMMAND
--KeyToKey-- KeyCode::SPACE, VK_COMMAND, KeyCode::SPACE, VK_CONTROL
とするとキーバインドを変更できる。