diff options
| author | KyleMiles <krm504@nyu.edu> | 2024-11-03 08:48:46 -0500 |
|---|---|---|
| committer | KyleMiles <krm504@nyu.edu> | 2024-11-03 10:36:12 -0500 |
| commit | 5306314b6882f4ca98b36ee2a69c8d886464dcbf (patch) | |
| tree | 3283c925b21a9fab70a5ca37c8716fcd81dc1316 /docs | |
| parent | 99b7354eadc4ff00820ae1c2030fa426c0d8debb (diff) | |
Add docs for plugin status widget
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/guide/index.md | 14 | ||||
| -rw-r--r-- | docs/img/plugin-status-widget.png | bin | 0 -> 15285 bytes |
2 files changed, 14 insertions, 0 deletions
diff --git a/docs/guide/index.md b/docs/guide/index.md index 48d710cd..33013fb3 100644 --- a/docs/guide/index.md +++ b/docs/guide/index.md @@ -165,6 +165,20 @@ The Recent files list can be cleared via using the Command Palette (`[CTRL] + P` Hotkeys (macOS: `[CMD] + 0` - `[CMD] + 9`, Windows/Linux: `[CTRL] + 0` - `[CTRL + 9]`) can also be used to quickly open a file. The hotkey for a given entry will be shown on the right. +### Plugins + +The status of currently installed plugins will be displayed in the bottom right. + +{ width="400" } + +Pressing each of the icons will navigate you to the the Plugin Manager with the corresponding filter: + +- Green Circle: `@installed` +- Error Symbol: `@failed_to_load` +- Update Icon: `@update_available` + +Pressing the gear or using the hotkeys (macOS: `[CMD+SHIFT] + M` , Windows/Linux: `[CTRL+SHIFT] + M`) will open the plugin manager with no filters so you can browse available plugins. + ### Commercial/Ultimate Features { width="700" } diff --git a/docs/img/plugin-status-widget.png b/docs/img/plugin-status-widget.png Binary files differnew file mode 100644 index 00000000..00055e05 --- /dev/null +++ b/docs/img/plugin-status-widget.png |
