I’m not sure if you are bemoaning the fact that the settings are stored in the wp-config file or that the plugin isn’t able to automatically read/write its settings to the wp-config file.
Configuring the settings manually in wp-config.php was a conscious decision. We’ve done this to enable you to migrate your database between different server environments without taking the WP Local Toolbox settings along the way.
It wouldn’t make any sense to store the server name or anything else in the database. If we did that then every time you deploy your database from A to B you’d need to go into the admin panel and change your settings, which would defeat the whole point of this plugin.
If you want WP Local Toolbox to read/write settings to the wp-config file, well, that’s a lot of code to write so we can avoid copy/pasting a handful of lines. Pull requests are welcome: https://github.com/joeguilmette/wp-local-toolbox