You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When using gitbook, their plugins are stored on npm as gitbook-plugin-name-of-plugin and then when installing/interacting through the GitHub interface, it would simply be called "name-of-plugin".
Maybe we could do something similar in the plugins manager, where the "Name" column only shows "dict-commands" instead of "plover-dict-commands".
This change could be made to the description pane title as well.
The text was updated successfully, but these errors were encountered:
When using gitbook, their plugins are stored on npm as gitbook-plugin-name-of-plugin and then when installing/interacting through the GitHub interface, it would simply be called "name-of-plugin".
Maybe we could do something similar in the plugins manager, where the "Name" column only shows "dict-commands" instead of "plover-dict-commands".
This change could be made to the description pane title as well.
The text was updated successfully, but these errors were encountered: