>>346
config.py を開いて
def configure(window):
の下に
　　def dhotkey(old = [-1]):
　　　　now = time.clock()
　　　　if now - old[0] < 0.5:
　　　　　　window.hotkey_Activate()
　　　　　　old[0] = -1
　　　　else:
　　　　　　old[0] = now
　　window.killHotKey(dhotkey)
　　window.setHotKey(0, 2, dhotkey)
を追加。インデントを全角スペースにしてるので半角スペースに置換してください