Changes
/* Database specific settings */
===Database specific settings===
Once successfully connected to a database, the menu item ''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, hence changes also only apply to it.
The following parameters can be read, respectively edited here
