pidgin/pidgin

Rename the plugins menu manager item to `Manage Plugins` to match the accounts menu's manager item

2020-03-31, Gary Kramlich
eb209c40d91e
Parents 8e135e045fc0
Children 3e78021f32b2
Rename the plugins menu manager item to `Manage Plugins` to match the accounts menu's manager item
1 files changed, 2 insertions(+), 2 deletions(-)
  • +2 -2
    pidgin/resources/Plugins/menu.ui
    • --- a/pidgin/resources/Plugins/menu.ui Tue Mar 31 23:38:28 2020 -0500
    +++ b/pidgin/resources/Plugins/menu.ui Tue Mar 31 23:40:57 2020 -0500
    @@ -1,5 +1,5 @@
    <?xml version="1.0" encoding="UTF-8"?>
    -<!-- Generated with glade 3.22.2
    +<!-- Generated with glade 3.22.2
    Pidgin - Internet Messenger
    Copyright (C) Pidgin Developers <devel@pidgin.im>
    @@ -33,7 +33,7 @@
    <property name="visible">True</property>
    <property name="can_focus">False</property>
    <property name="action_name">plugins-menu.manager</property>
    - <property name="label" translatable="yes">_Manager</property>
    + <property name="label" translatable="yes">Manage Plu_gins</property>
    <property name="use_underline">True</property>
    <accelerator key="u" signal="activate" modifiers="GDK_CONTROL_MASK"/>
    </object>