allow interrupts during search
commit20f8d5c6862be764080d9c5487fd892b04a6517d
authorMartin Bays <mbays@freeshell.org>
Mon, 25 Feb 2013 00:46:37 +0000 (25 01:46 +0100)
committerMartin Bays <mbays@freeshell.org>
Mon, 25 Feb 2013 00:46:37 +0000 (25 01:46 +0100)
tree647c6900a7b957163d01f8d9f48a8ae04ba47dcf
parent024412d6808c65a4651e05d3d580e2bc30a84b35
allow interrupts during search

Ignore-this: 8a39b2081a3eeda8ecde5e60af0d3e95

darcs-hash:182eac087177b9d4e1afbd21a436b4a68981d77e
flinkspkg/Browser.py