def tearDown(): document.removeEventListener("keydown", onDocumentKeyDown, False) document.removeEventListener("keyup", onDocumentKeyUp, False) workbench.tearDown()
def tearDown(): # document.removeEventListener('keydown', onDocumentKeyDown, False) document.removeEventListener('mousedown', onDocumentMouseDown, False) print "Goodbye."
def tearDown(): # Firstly, stop listening for keyboard events. document.removeEventListener("keydown", onDocumentKeyDown, False) workbench.tearDown()