Mozilla rolled out a new feature in Firefox 50 Nightly today that improves the page search functionality of the web browser.
Firefox users can tap on F3 to run searches for words or phrases on the active page. The first search results is highlighted by the browser once you start typing, and controls are provided to jump to the next in line or the previous one, or to highlight them all at once.
The highlighted term was sometimes hard to spot on the page, a fact first mentioned in a bug report dating back to the year 2007.
The user who reported the bug suggested to better highlight and/or dim the rest of the page, and that is exactly what is been implemented.
Page searches in Firefox 50 or newer dim the page slightly, and highlight the search term better so that it is easier to spot.
All search terms are highlighted automatically by search as well on the page which basically means that Mozilla changed the default state to highlight all.
Mozilla increased the number of search results that the find as you type search returns to 1000 from the previous limit of 100. You find the setting by loading about:preferences#advanced in the browser's address bar and checking "search for text when I start typing" on the page that opens.
Classic Opera users may recognize this immediately as this is how Opera 12.x and previous versions of the browser displayed page search results in the browser.
Mozilla added two new preferences to Firefox 50 that allow you to change the behavior somewhat.
Mozilla plans to release the improvement in Firefox 50 if nothing major prevents that from happening. A couple of bugs need to be ironed out until the release, but there is plenty of time for that considering that Firefox Stable is currently at version 47. (via Sören Hentzschel)
Now You: What's your take on the change?Advertisement
Advertising revenue is falling fast across the Internet, and independently-run sites like Ghacks are hit hardest by it. The advertising model in its current form is coming to an end, and we have to find other ways to continue operating this site.
We are committed to keeping our content free and independent, which means no paywalls, no sponsored posts, no annoying ad formats or subscription fees.
If you like our content, and would like to help, please consider making a contribution:
Ghacks is a technology news blog that was founded in 2005 by Martin Brinkmann. It has since then become one of the most popular tech news sites on the Internet with five authors and regular contributions from freelance writers.