sidebar_ui: Allow user to hide right sidebar on any screen width.

This commit is contained in:
Aman Agrawal
2024-03-19 09:51:24 +00:00
committed by Tim Abbott
parent 8d868ec149
commit cc54a7caa8
7 changed files with 68 additions and 30 deletions

View File

@@ -1,3 +1,4 @@
import $ from "jquery";
import _ from "lodash";
import assert from "minimalistic-assert";
@@ -244,6 +245,7 @@ export function set_cursor_and_filter(): void {
export function initiate_search(): void {
if (user_filter) {
$("body").removeClass("hide-right-sidebar");
popovers.hide_all();
user_filter.initiate_search();
}