Colin Walters 69c8aef6c2 Show "No matching results" if that's the case ... This also fixes backtracking from no matching results. https://bugzilla.gnome.org/show_bug.cgi?id=606209		2010-01-06 16:20:01 -05:00
..
misc	Add search.js, rebase search system on top	2009-12-18 10:07:22 -05:00
ui	Show "No matching results" if that's the case	2010-01-06 16:20:01 -05:00
Makefile.am	Split appDisplay and docDisplay into "model" and "view" parts	2009-06-16 18:50:42 -04:00