diff options
| author | KyleMiles <krm504@nyu.edu> | 2024-10-23 14:36:33 -0400 |
|---|---|---|
| committer | KyleMiles <krm504@nyu.edu> | 2024-10-23 18:16:01 -0400 |
| commit | 83fbc7ebf26678de9a695c05fd87e0f77959ef52 (patch) | |
| tree | 001dfc11e161d823bdc1618bc2a43ca5a47c25b0 | |
| parent | bd3d79d51267975a9ff2167bb6731222e9618c27 (diff) | |
Add docs for new plugin manager filter keywords @update_available and @failed_to_load
| -rw-r--r-- | docs/guide/plugins.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/guide/plugins.md b/docs/guide/plugins.md index 0807f069..a064f967 100644 --- a/docs/guide/plugins.md +++ b/docs/guide/plugins.md @@ -37,6 +37,8 @@ In addition to finding plugins by name or description content, the search box in - `@installed` to only show installed plugins - `@enabled` to only show enabled plugins - `@disabled` to show plugins that are installed but not enabled) + - `@update_available` to show plugins that have updates to install + - `@failed_to_load` to show plugins that failed to load The following plugin categories are also searchable: |