user groups: Add support for removing user groups.

The new `#groups` overlay had no way for user groups to be deleted.
This commit adds UI support for removing user groups along with
adding support for live update of `#groups` overlay on remove
event for user groups.
This commit is contained in:
m-e-l-u-h-a-n
2023-02-03 15:07:42 +05:30
committed by Tim Abbott
parent c0cd6f7f04
commit 1f03042a48
4 changed files with 73 additions and 1 deletions

View File

@@ -67,6 +67,7 @@ import * as submessage from "./submessage";
import * as typing_events from "./typing_events";
import * as unread_ops from "./unread_ops";
import * as user_events from "./user_events";
import * as user_group_edit from "./user_group_edit";
import * as user_groups from "./user_groups";
import * as user_groups_settings_ui from "./user_groups_settings_ui";
import {user_settings} from "./user_settings";
@@ -760,6 +761,7 @@ export function dispatch_normal_event(event) {
}
break;
case "remove":
user_group_edit.handle_deleted_group(event.group_id);
user_groups.remove(user_groups.get_user_group_from_id(event.group_id));
break;
case "add_members":