8687888990919293949596
disconnect(); final KeymapManager mgr = getKeymapManager(); if (mgr == null) return; mgr.addKeymapManagerListener(myKeymapManagerListener); rebound(); } private void disconnect() { final KeymapManager mgr = getKeymapManager();