DatabaseManagerSwing should save user settings for most
pulldown checkboxes across invocations. I'm talking
items which are User Preferences (like what L&F to use, as
opposed to whether auto-commit is currently on or off).
I'll probably implement this. Putting it here so it
doesn't get forgotten.