* Finish task #57882, #57874, #57873, #57855.

2022-06-21 17:30:36 +08:00
parent c30ba304ab
commit adad8ea3ae
15 changed files with 54 additions and 12 deletions
--- a/module/execution/js/story.js
+++ b/module/execution/js/story.js
@@ -72,6 +72,13 @@ $(function()
    });

    $('.sorter-false a').unwrap();
+
+    /* The display of the adjusting sidebarHeader is synchronized with the sidebar. */
+    $(".sidebar-toggle").click(function()
+    {
+        $("#sidebarHeader").toggle("fast");
+    });
+    if($("main").is(".hide-sidebar")) $("#sidebarHeader").hide();
 });

 /**