69
69
This plugin adds implementation for so-called bookmarklets. Bookmarklets are little
70
70
Javascript programs which can be saved and used like normal web page bookmarks. Therefore,
71
71
they are simple "one-click" tools that can add substantial functionality to the browser.
74
75
This works on any readonly part (though currently it only plugs into