dotCover Web Help

Extensions add extra functionality such as additional context actions, code analyses, support for programming languages, etc. To simplify the process of installing, updating and uninstalling different extensions, dotCover provides a manager that does all annoying and routine operations for you automatically. You can browse all available extensions and install them just with one click.

To install an extension
  1. On the main menu, choose dotCover | Extension Manager. The Manage Extensions dialog box opens.
  2. On the left pane of the dialog box, click Online, then All to display the list of all available extensions from all available and enabled package sources.
  3. Click the extension to be installed, then click Install.

All installed extensions are marked with the ThemedIcon.FinishedNoErrors.Screen.[Gray] icon, so you can easily find them. Another way to discover what is already installed is to click Installed extensions on the left pane of the Manage Extensions dialog box and get the list of installed extensions.

To filter and organise extensions
  • To filter out according to stability, click Stable Only or Include Prelease.
  • To sort according to some criteria, in the Sort by drop-down list click one of the following:
    • Most Downloads
    • Published Date
    • Name: Ascending
    • Name: Descending
  • To filter out according to the source, click ReSharper Gallery or any other package source name on the left pane of the Manage Extensions dialog box.
  • To get some additional information about an extension, click its name and have a look at the right pane of the Manage Extensions dialog box.
  • To filter out extensions according to their names or parts of names, type a substring in the search field. dotCover keeps only those extensions that match the substring.
To uninstall an extension
  1. On the main menu, choose dotCover | Extension Manager. The Manage Extensions dialog box opens.
  2. On the left pane of the dialog box, click Installed extensions to display the list of all installed extensions.
  3. Click the extension to be uninstalled, then click Uninstall.

You can get extensions not only from our gallery, but also from any trustworthy source. As soon as you add it to the list of package sources you can work with extensions from this source and there is no difference whether it is local or remote. So if you have a set of extensions developed in your company and there is a need to distribute them, you can do it via Extension Manager.

To add a source to the list of package sources
  1. On the main menu, choose dotCover | Options. The Options dialog box opens.
  2. On the left pane of the dialog box, click Extension Manager.
  3. On the right pane, click Add Coding_Assistance__Naming_Style__Options__Add_button. The Add Package Source dialog box opens.
  4. Type the name for a new source in the Name text box.
  5. Enter the path from where extensions should be retrieved in the Source text box.
  6. Click OK to add a new item to the list of package sources.
  7. Click Save or Save To to save and apply changes.

    Note

    dotCover maintains several settings layers, so pay attention what layer you modify. For more information, see Managing and Sharing Options.