server_events_dispatch: Fix live-update of email_address_visibility.

web/src/server_events_dispatch.js

@@ -733,6 +733,11 @@ export function dispatch_normal_event(event) {
                 activity.redraw_user(page_params.user_id);
                 break;
             }
+            if (event.property === "email_address_visibility") {
+                user_settings.email_address_visibility = event.value;
+                $("#user_email_address_visibility").val(event.value);
+                break;
+            }
             settings_display.update_page(event.property);
             break;
         }

web/tests/dispatch.test.js

@@ -955,6 +955,11 @@ run_test("user_settings", ({override}) => {
         assert_same(args.name, event.property);
         assert_same(args.setting, event.value);
     }
+
+    event = event_fixtures.user_settings__email_address_visibility;
+    user_settings.email_address_visibility = 3;
+    dispatch(event);
+    assert_same(user_settings.email_address_visibility, 5);
 });
 
 run_test("update_message (read)", ({override}) => {

web/tests/lib/events.js

@@ -872,6 +872,13 @@ exports.fixtures = {
         value: true,
     },
 
+    user_settings__email_address_visibility: {
+        type: "user_settings",
+        op: "update",
+        property: "email_address_visibility",
+        value: 5,
+    },
+
     user_settings__emojiset: {
         type: "user_settings",
         op: "update",