JuliaLang/julia — pull request #7558 by mbauman (2014-07-10 16:05:45+00:00)
Title: Fix #7551

Simply drop out of search mode (back to the original mode) when accepting an empty search-string.

#7551