GeoGebra Formatter

One problem with GeoGebra is that sometimes you have to deal with long long loooong definitions that are all on single lines. Sometimes it's hard to read, or create, these definitions -- especially when they contain nested commands and lists.

This tool solves this problem. Enter your one-line definition(s) below. Then click the right-pointing arrow button. You'll then see a nicely-formatted result in the box on the right.

You can also go the opposite direction: click the left-pointing arrow to convert nice text into one-line GeoGebra definitions.

(Click the "Clear!" button to remove the examples shown.)








example1, example2, example3, example4.

How to use this tool

The obvious way to use this tool is to "copy" to clipboard your definition and then "paste" it into this page.

However, you may find this way tedious. Most browsers provide a shorcut: they let you mark the text (the GeoGebra definitions) with the mouse and then, via the context menu, send it to some search engine. The "trick" is to add this tool to the list of search engines your browser knows about. Here it is in action:

Here are instructions for the common browsers:

Browser: Opera

  1. Go to "Preferences", then the "Search" tab, and "Add..." a new search engine; make its URL http://www.typo.co.il/~mooffie/ggb/formatter/?source=%s
  2. That's all.

Browser: Firefox

  1. Add this web-page to Firefox's list of search engines: The browser has a search box, usualy in the upper right corner; Clicking its dropdown menu would reveal a new item: "Add 'GeoGebra Formatter'". Click this item. Here's a screenshot showing this (click to enlarge):
  2. Install an extension that lets you search the selcted text; Examples: Context Search or Selected Search. (2012-Jan-17: The "Context Search" extension is superior, but it has an unfortunate bug: it's limited to 150 characters; I've sent its developer a note. Stay tuned.)

Browser: Google Chrome

  1. Install an extension that lets you search the selcted text; Examples: Context Menu Search or Context Search.
  2. Add this web-page to your extension's list of search engines: Go to the extension's "options" screen and enter a URL similar to the one mentioned for the Opera browser (different extensions may have a slightly different syntax, so I can't provide exact instuctions; basically you'd change the %s to some other token).

Browser: Internet Explorer

  1. Step #1 for Firefox is applicable to IE 7+ as well.

  2. (I don't have access to IE so I don't know if anything more is needed.)

General notes about browser integration:

Contact

In you encounter any problems, email me.