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 |