Help on Greasemonkey scripts

Greasemonkey (http://www.greasespot.net/) is an extension to Mozilla Firefox that allows users to transform web pages locally and persistently, using javascript. The advantage to using Greasemonkey instead of built-in functions is that it allows for unlimited customization of a website's presentation--including mashups--without the need for expensive server-side processing. The advantage over bookmarklets is that changes are automatic and persistent.

Add these to the browser to be able to set page formatting preferences (see below for installation instructions). Unlike the built-in Moin formatting actions, these functions can be applied in combination to a given page, and can be selectively enabled or disabled, or modified locally by the user. Since these are Greasemonkey scripts they are persistent within the browser, unlike bookmarklets or url parameter-based formatting preferences which operate on a per-page basis. These have been tested in Firefox 4.0 and may work in other browsers as well.

Available scripts

Installation instructions

1. Make sure that you have Greasemonkey installed (http://www.greasespot.net/).

2. From the Greasemonkey button in the browser navigation bar, select "new user script". A new window should pop open.

3. Enter the name of the script and a description if you like. Under "includes", enter "*". Click OK.

4. A new file should open in a text editor. Copy and paste the script into the file, and save.

There are 0 attachment(s) stored for this page.