Script Summary: Simple but elegant options dialog for inclusion in your scripts.
Version: 0.10.1
DON'T INSTALL IT, USE IT AS REQUIREMENT AT THE TOP OF SCRIPT!
This is a copy of http://www.betawarriors.com/bin/gm/62718user.js with 1 improvement: you can use a different tab name in options from the label name.
So if a tab is declared
lang = {}
you can change the name "lang" simply adding a "name" property, so:
lang = {name: 'Language'}
will be named "lang", but it will be displayed as "Language".
