There is some conflict with ctrl + F and some browsers. Changed for ctrl + K as a common shortkeys to search on the web as we can see on many js libs docs...