public class PluginQueryTokenizerPreferencesPanel extends JPanel(Code)
This can be used (or subclassed) to provide a plugin-specific preference
panel geared toward storing custom QueryTokenizer preferences. A plugin
can instantiate this class giving it an IQueryTokenizerPreferenceBean with
which to load and store preference information. The databaseName is used to
tailor some of the tooltips for a specific database.
author: manningr
Construct a new PreferencesPanel.
Parameters: prefsMgr - the query tokenizer preferences manager. Parameters: databaseName - the name of the database to use as the panel title. Parameters: showProcedureSeparator - whether or not the custom tokenizer needs procedure separator preference.