paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-10-31 20:13:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

gear_menu: Rename "Settings" option to "Personal settings".

Browse Source 
Also includes change in markdown used in docs.
This commit is contained in:
sahil839
2021-07-01 13:15:39 +05:30
committed by Tim Abbott
parent 239228b317
commit 37620ffef0
3 changed files with 15 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
zerver/lib/markdown/help_settings_links.py
View File

@@ -16,15 +16,19 @@ link_mapping = {
# breadcrumb to that setting to the name of its setting type, the setting
# name as it appears in the user interface, and a relative link that can
# be used to get to that setting
"profile": ["Settings", "Profile", "/#settings/profile"],
"account-and-privacy": ["Settings", "Account & privacy", "/#settings/account-and-privacy"],
"display-settings": ["Settings", "Display settings", "/#settings/display-settings"],
"notifications": ["Settings", "Notifications", "/#settings/notifications"],
"your-bots": ["Settings", "Your bots", "/#settings/your-bots"],
"alert-words": ["Settings", "Alert words", "/#settings/alert-words"],
"uploaded-files": ["Settings", "Uploaded files", "/#settings/uploaded-files"],
"muted-topics": ["Settings", "Muted topics", "/#settings/muted-topics"],
"muted-users": ["Settings", "Muted users", "/#settings/muted-users"],
"profile": ["Personal settings", "Profile", "/#settings/profile"],
"account-and-privacy": [
"Personal settings",
"Account & privacy",
"/#settings/account-and-privacy",
],
"display-settings": ["Personal settings", "Display settings", "/#settings/display-settings"],
"notifications": ["Personal settings", "Notifications", "/#settings/notifications"],
"your-bots": ["Personal settings", "Your bots", "/#settings/your-bots"],
"alert-words": ["Personal settings", "Alert words", "/#settings/alert-words"],
"uploaded-files": ["Personal settings", "Uploaded files", "/#settings/uploaded-files"],
"muted-topics": ["Personal settings", "Muted topics", "/#settings/muted-topics"],
"muted-users": ["Personal settings", "Muted users", "/#settings/muted-users"],
"organization-profile": [
"Manage organization",
"Organization profile",