diff options
Diffstat (limited to 'plugins/plugin-manager/org-gnome-plugin-manager.xml')
| -rw-r--r-- | plugins/plugin-manager/org-gnome-plugin-manager.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/plugin-manager/org-gnome-plugin-manager.xml b/plugins/plugin-manager/org-gnome-plugin-manager.xml index 97dac9468d..3f74a2dd4c 100644 --- a/plugins/plugin-manager/org-gnome-plugin-manager.xml +++ b/plugins/plugin-manager/org-gnome-plugin-manager.xml @@ -1,6 +1,6 @@ <Root> <commands> - <cmd name="EPluginManagerManage" _label="Plugins" + <cmd name="EPluginManagerManage" _label="_Plugins" _tip="Enable and disable plugins"/> </commands> |