mirror of
https://github.com/zulip/zulip.git
synced 2025-11-17 20:41:46 +00:00
c1675913a2
Ever since we started bundling the app with webpack, there’s been less and less overlap between our ‘static’ directory (files belonging to the frontend app) and Django’s interpretation of the ‘static’ directory (files served directly to the web). Split the app out to its own ‘web’ directory outside of ‘static’, and remove all the custom collectstatic --ignore rules. This makes it much clearer what’s actually being served to the web, and what’s being bundled by webpack. It also shrinks the release tarball by 3%. Signed-off-by: Anders Kaseorg <anders@zulip.com>
57 lines
1.7 KiB
JavaScript
57 lines
1.7 KiB
JavaScript
import $ from "jquery";
|
|
|
|
import render_muted_user_ui_row from "../templates/muted_user_ui_row.hbs";
|
|
|
|
import * as ListWidget from "./list_widget";
|
|
import * as muted_users from "./muted_users";
|
|
import * as muted_users_ui from "./muted_users_ui";
|
|
import * as people from "./people";
|
|
import * as ui from "./ui";
|
|
|
|
export let loaded = false;
|
|
|
|
export function populate_list() {
|
|
const all_muted_users = muted_users.get_muted_users().map((user) => ({
|
|
user_id: user.id,
|
|
user_name: people.get_full_name(user.id),
|
|
date_muted_str: user.date_muted_str,
|
|
}));
|
|
const $muted_users_table = $("#muted_users_table");
|
|
const $search_input = $("#muted_users_search");
|
|
|
|
ListWidget.create($muted_users_table, all_muted_users, {
|
|
name: "muted-users-list",
|
|
modifier(muted_user) {
|
|
return render_muted_user_ui_row({muted_user});
|
|
},
|
|
filter: {
|
|
$element: $search_input,
|
|
predicate(item, value) {
|
|
return item.user_name.toLocaleLowerCase().includes(value);
|
|
},
|
|
onupdate() {
|
|
ui.reset_scrollbar($muted_users_table.closest(".progressive-table-wrapper"));
|
|
},
|
|
},
|
|
$parent_container: $("#muted-user-settings"),
|
|
$simplebar_container: $("#muted-user-settings .progressive-table-wrapper"),
|
|
});
|
|
}
|
|
|
|
export function set_up() {
|
|
loaded = true;
|
|
$("body").on("click", ".settings-unmute-user", function (e) {
|
|
const $row = $(this).closest("tr");
|
|
const user_id = Number.parseInt($row.attr("data-user-id"), 10);
|
|
|
|
e.stopPropagation();
|
|
muted_users_ui.unmute_user(user_id);
|
|
});
|
|
|
|
populate_list();
|
|
}
|
|
|
|
export function reset() {
|
|
loaded = false;
|
|
}
|