Menu ▾ ▴

#814 Move the link to "Key Maintenance" from the Editing Tools menu to "User Preferences"

Approved
closed
Ahasuerus
None
5
2015-07-15
2015-07-15
Ahasuerus
No

Move the link to "Key Maintenance" from the Editing Tools menu to "User Preferences".

Discussion

  • Ahasuerus

    Ahasuerus - 2015-07-15

    Implemented in:

    biblio/common.py 1.117
biblio/mypreferences.py 1.17

    Installed in r2015-103 on 2015-07-14. Closing.

     

  • Ahasuerus

    Ahasuerus - 2015-07-15
    • summary: Move the link to "Key Maintenance" from the Editing Tools menu to "Key Maintenance" --> Move the link to "Key Maintenance" from the Editing Tools menu to "User Preferences"
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -1 +1 @@
-Move the link to "Key Maintenance" from the Editing Tools menu to "Key Maintenance".
+Move the link to "Key Maintenance" from the Editing Tools menu to "User Preferences".
    • status: open --> closed
     

Anonymous
Anonymous

Add attachments
Cancel





MongoDB Logo MongoDB