- java.lang.Object
-
- org.hsqldb.util.DatabaseManagerSwing.DBMPrefs
-
- Enclosing class:
- DatabaseManagerSwing
public static class DatabaseManagerSwing.DBMPrefs extends java.lang.ObjectPersisted User Preferences for DatabaseManagerSwing. These are settings for items in the View and Options pulldown menus, plus Help/Show Tooltips.
-
-
Field Summary
Fields Modifier and Type Field Description java.io.FileprefsFile
-
Constructor Summary
Constructors Constructor Description DBMPrefs(boolean isApplet)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidload()voidstore()
-