Browse Source

Added shortcut to enable extension manager

Added shortcut to enable extension manager
Yuze Ma 5 years ago
parent
commit
b4fb98db56
1 changed files with 1 additions and 1 deletions
  1. 1 1
      docs/source/user/extensions.rst

+ 1 - 1
docs/source/user/extensions.rst

@@ -49,7 +49,7 @@ Using the Extension Manager
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 To manage your extensions, you can use the extension manager. By default, the
-manager is disabled, but you can enable it with the following steps:
+manager is disabled. You can enable it by searching **Extension Manager** in the command platte. You can also enable it with the following steps:
 
 
    - Go into advanced settings editor.