Delay the initialization of the documentaion widget and the loading of
the information about the available documentation file for the different backends to the point where the user really wants to see this information, i.e. when the user navigated to the documentation tab in the settings for the specific backend. Introduced a new base class for the backend settings widget to handle this logic in one central place for all backend settings widgets.
Showing with 109 additions and 17 deletions