PC.net
HomeHome : News : Oct 08, 2007
ShareShare

New File Extension Search Box

October 8, 2007 — by Per Christensson

I have recently updated the file extension search box so that it is new, improved, and better than ever before. Basically, what that means is that I replaced the generic Google search box with a new custom search feature. Now, instead of getting a list of pages containing the search text, the search brings you straight to the page of the file extension you searched for. I hope you'll find this to be quite a bit more efficient, and improved, and better than ever before.

And don't worry, the Google search option has not gone away completely. You can still use the Google search box to search the entire Sharpened.net website from the Sharpened.net Site Search page, just like before. And for better or worse, the Random Joke on the search page is still there too.

space