This PR fixes #632 by adding a new sqltools.results.reuseTabs enum setting. Values are never (the default which retains current behaviour) and connection (which reuses a tab per connection).
As part of this work the other third-level settings of the sqltools.results object have been broken out into individual 3-part properties. This means they are mostly editable in the settings UI and display better in the web documentation. The exception is sqltools.results.customization which is still an object.
Thank you for your contribution!
Before submitting this PR, please make sure:
[X] Your code builds clean without any errors or warnings
[X] You have made the needed changes to the docs
[X] You have written a description of what is the purpose of this pull request above
This PR fixes #632 by adding a new
sqltools.results.reuseTabs
enum setting. Values arenever
(the default which retains current behaviour) andconnection
(which reuses a tab per connection).As part of this work the other third-level settings of the
sqltools.results
object have been broken out into individual 3-part properties. This means they are mostly editable in the settings UI and display better in the web documentation. The exception issqltools.results.customization
which is still an object.Thank you for your contribution! Before submitting this PR, please make sure: