paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-01 12:33:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

settings: Rename display_settings_labels to preferences_settings_labels.

Browse Source 
Fixes part of #26874.
This commit is contained in:
Aditya Kumar Kasaudhan
2024-01-20 03:47:21 +05:30
committed by Tim Abbott
parent 1948cf15a4
commit 80ea965408
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
web/src/settings.js
View File

@@ -61,7 +61,7 @@ function setup_settings_label() {
}),
...settings_config.notification_settings_labels,
...settings_config.display_settings_labels,
...settings_config.preferences_settings_labels,
};
}

4
web/src/settings_config.ts
View File

@@ -536,7 +536,7 @@ export const expires_in_values = {
const user_role_array = Object.values(user_role_values);
export const user_role_map = new Map(user_role_array.map((role) => [role.code, role.description]));
export const display_settings_labels = {
export const preferences_settings_labels = {
dense_mode: $t({defaultMessage: "Dense mode"}),
fluid_layout_width: $t({defaultMessage: "Use full width on wide screens"}),
high_contrast_mode: $t({defaultMessage: "High contrast mode"}),
@@ -593,7 +593,7 @@ export const notification_settings_labels = {
export const realm_user_settings_defaults_labels = {
...notification_settings_labels,
...display_settings_labels,
...preferences_settings_labels,
/* Overrides to remove "I" from labels for the realm-level versions of these labels. */
enable_online_push_notifications: $t({