Gadgets

Below is a list of special gadgets users can enable on their preferences page, as defined by the definitions. This overview provides easy access to the system message pages that define each gadget's description and code.

⧼gadget-section-Editing⧽[View description]

• ProveIt, a powerful GUI tool for viewing, editing, adding, and inserting references (screenshot, working demo)  (View description | Export)
  Uses: Gadget-ProveIt.js, Gadget-ProveIt.css
• wikEd, a full-featured integrated text editor for Firefox, Safari, and Google Chrome. Please read the help page for usage instructions.  (View description | Export)
  Uses: Gadget-wikEd.js
  
  Gadget is not loaded. Please migrate to ResourceLoader. (Learn more)