Fix #39: SearchEngine.find() should fire a 'mark all' event when searching for empty text, so listeners like ErrorStrip know to update themselves (clear their markers)