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