Changes
/* Database specific settings */
===Database specific settings===
Once successfully connected to a database, the menu item ''Edit Database → {database name} settings...'' becomes visible. As the name already states, these are settings that are specific to the very database you are connected to and stored there.
The following parameters can be read, respectively edited here
