-
Guido van Rossum authored
I'm unclear whether this is really the right thing, but at least this prevents crashes when nothing is entered in the search box.
130af9ce
I'm unclear whether this is really the right thing, but at least this prevents crashes when nothing is entered in the search box.