rubenwardy a378e32751 Add search to advanced settings (#4806)
* Add search to advanced settings

* Press enter again to go to next result

* Use keyword based search, auto select best option
2017-01-18 07:48:25 +01:00
..
2014-05-08 13:02:04 -04:00
2016-03-06 23:42:04 +00:00
2017-01-17 15:41:25 +01:00
2017-01-13 18:13:43 -05:00