13/04/02 19:28:56.61 w0u/e8kS0.net
>>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)
を追加。インデントを全角スペースにしてるので半角スペースに置換してください