Javascript browser Bookmarklet?

Bookmarklets are saved and used as normal bookmarks. As such, they are simple "one-click" tools which add functionality to the browser. Modify the appearance of a web page within the browser (e.g. Extract data from a web page (e.g. Remove redirects from (e.g. "Installation" of a bookmarklet is performed by creating a new bookmark, and pasting the code into the URL destination field.

Alternatively, if the bookmarklet is presented as a link, under some browsers it can be dragged and dropped onto the bookmark bar. The bookmarklet can then be run by loading the bookmark normally. Steve Kangas of bookmarklets.com coined the term "bookmarklet",2 which he started to create based on an idea suggested in the Netscape JavaScript Guide.

The term favelet was used early on by Tantek Çelik on 6 September 2001 (personal email). They were a deliberate feature in this sense: I invented the javascript: URL along with JavaScript in 1995, and intended that javascript: URLs could be used as any other kind of URL, including being bookmark-able. In particular, I made it possible to generate a new document by loading, e.g. Javascript:'hello, world', but also (key for bookmarklets) to run arbitrary script against the DOM of the current document, e.g. The difference is that the latter kind of URL uses an expression that evaluates to the undefined type in JS.

I added the void operator to JS before Netscape 2 shipped to make it easy to discard any non-undefined value in a javascript: URL. This example bookmarklet performs a Wikipedia search on any highlighted text in the web browser window. In normal use, the following Javascript would be installed to a bookmark in a browser4 bookmarks toolbar.

From then on, after selecting any text, clicking the bookmarklet performs the search. Javascript:function se(d) {return d. Text : d.getSelection()} s = se(document); for (i=0; i.