Package org.graffiti.editor.options

Contains option panes for the editor's option dialog.