From 57b7992ee3ae62f4b30c9b4265e8ee2c0146643f Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 11 Jan 2026 14:29:45 +0000 Subject: [PATCH 1/3] Initial plan From 476fdef415e46d59f008399ebac7823b92dcae8e Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 11 Jan 2026 14:34:39 +0000 Subject: [PATCH 2/3] Fix Tool Box menu not rendering by adding menuDiv wrapper The Tool Box menu in submission pages was not visible because: 1. JavaScript initializeMenus() expects an element with id="menuDiv" 2. The switchMenu() function toggles visibility of "menuDiv" 3. But no element with that id existed in the menu JSP files Added