7 commits

Author	SHA1	Message	Date
Marc Zinnschlag	cb6caf5e39	added search-related user settings	2015-03-30 22:30:33 +02:00
Marc Zinnschlag	4928e3705f	highlight (bold) search string in results	2015-03-30 12:52:08 +02:00
Marc Zinnschlag	46ccd27a6d	improved find result text	2015-03-29 18:16:43 +02:00
Marc Zinnschlag	eaaf816dd3	simplified search rules	2015-03-28 12:05:49 +01:00
Marc Zinnschlag	128ccd8151	improved search type naming	2015-03-28 11:54:32 +01:00
Marc Zinnschlag	babefacbfa	improved message text in search results	2015-03-27 19:10:45 +01:00
Marc Zinnschlag	78c6268891	added search class and search box widget	2015-03-25 11:56:14 +01:00