|
@@ -39,11 +39,15 @@ document.addEventListener("DOMContentLoaded", async () => {
|
|
|
const left_bar = left_bar_builder.element;
|
|
const left_bar = left_bar_builder.element;
|
|
|
left_bar.className = "left-bar";
|
|
left_bar.className = "left-bar";
|
|
|
|
|
|
|
|
- const choose = new chooser(store, () => {});
|
|
|
|
|
- left_bar.appendChild(choose.ui);
|
|
|
|
|
-
|
|
|
|
|
const center = new workspace();
|
|
const center = new workspace();
|
|
|
- center.update(store.content.submissions[1]);
|
|
|
|
|
|
|
+ center.update(store.content.first_submission);
|
|
|
|
|
+
|
|
|
|
|
+ const workspace_updater = (target) => {
|
|
|
|
|
+ center.update(target);
|
|
|
|
|
+ };
|
|
|
|
|
+
|
|
|
|
|
+ const choose = new chooser(store, workspace_updater);
|
|
|
|
|
+ left_bar.appendChild(choose.ui);
|
|
|
|
|
|
|
|
container.appendChild(top_bar);
|
|
container.appendChild(top_bar);
|
|
|
container.appendChild(left_bar);
|
|
container.appendChild(left_bar);
|