14 commits

Author	SHA1	Message	Date
scrawl	67bd6cd708	Remove empty line at the beginning of files ... git ls-files -z | xargs -0 sed -i '1{/^$/d}'	2015-08-18 23:06:12 +02:00
Marc Zinnschlag	197b8ec731	added severity attribute for operation messages (Fixes #2717)	2015-06-20 19:08:31 +02:00
Marc Zinnschlag	ae5de0cb2b	implemented additional check before performing replace (make sure data hasn't been changed since the search)	2015-04-27 22:43:09 +02:00
Marc Zinnschlag	4951fc477c	added replace function	2015-04-16 18:50:22 +02:00
Marc Zinnschlag	66c866aec9	fixed search result formatting	2015-03-31 13:02:12 +02:00
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	e8091c4e7e	added field column to report table	2015-03-29 15:28:31 +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	705ee67265	fixed hints getting mixed up with message text	2015-03-27 18:55:48 +01:00
Marc Zinnschlag	78c6268891	added search class and search box widget	2015-03-25 11:56:14 +01:00