public final class LoggingPreferencesEditor extends Object implements PreferencesEditor
LogManager.readConfiguration()
.
Additionally, sets a temporary global logging level,
which acts as on override of the current settings.
Setting this level affects all handlers
(except OptionPaneExceptionHandler
) attached to the root
Logger
, and all known loggers, corresponding to
return value of LogManager.getLoggerNames()
.
This PreferencesEditor
is unusual in that user actions are performed
immediately, without waiting for the user to hit the OK button.
Constructor and Description |
---|
LoggingPreferencesEditor() |
Modifier and Type | Method and Description |
---|---|
File |
getLogConfigFile()
Return the File which is currently being used by this application
to configure the Java Logging API.
|
int |
getMnemonic()
The mnemonic to appear in the tab name.
|
String |
getTitle()
The name of the tab in which this PreferencesEditor
will be placed.
|
JComponent |
getUI()
Return a GUI component which allows the user to edit this set of related
preferences.
|
void |
matchGuiToDefaultPreferences()
No-operation.
|
void |
savePreferences()
No-operation.
|
public LoggingPreferencesEditor()
public int getMnemonic()
PreferencesEditor
Must match a letter appearing in PreferencesEditor.getTitle()
.
Use constants defined in KeyEvent, for example KeyEvent.VK_A.
getMnemonic
in interface PreferencesEditor
public String getTitle()
PreferencesEditor
getTitle
in interface PreferencesEditor
public JComponent getUI()
PreferencesEditor
getUI
in interface PreferencesEditor
public void matchGuiToDefaultPreferences()
matchGuiToDefaultPreferences
in interface PreferencesEditor
public void savePreferences()
savePreferences
in interface PreferencesEditor
public File getLogConfigFile()
Copyright Hirondelle Systems - License - Generated 2013Sep20.10.58