7 commits

Author	SHA1	Message	Date
Benjamin Tan	18e7dd2173	Cleanup code style.	2018-02-08 11:22:01 +08:00
Jens Lechtenbörger	1002d39e7c	Register search key shortcut for help overlay	2017-11-05 17:45:18 +01:00
Hakim El Hattab	a781b6a22b	clear existing matches when searching for empty string #1909	2017-06-19 09:43:29 +02:00
linux-man	e3a3d3aa0a	Better Search ... Open/close with Control+Shift+f Find words inside SPAN Don't duplicate findings	2017-05-21 19:00:12 +01:00
Hakim El Hattab	13046a0337	merge search plugin, adjust styles	2013-03-08 19:48:30 -05:00
Jon Snyder	329ae0fd43	include search button icon ... embed a generic search button icon.	2013-03-04 16:42:23 -08:00
Jon Snyder	8d61a112ff	search plugin	2013-02-11 15:34:31 -08:00