From 32f899dbbefe40fcd23f7a9f85d8f833d986d4e2 Mon Sep 17 00:00:00 2001
From: lowercasedonkey <lowercasedonkey@gmail.com>
Date: Mon, 24 May 2021 23:20:50 -0400
Subject: [PATCH] add tabs to event selection
---
src/events/debugEvent.js | 18 +++++++++++++++---
1 file changed, 15 insertions(+), 3 deletions(-)
diff --git a/src/events/debugEvent.js b/src/events/debugEvent.js
index b234a208670..044296df3cd 100644
--- a/src/events/debugEvent.js
+++ b/src/events/debugEvent.js
@@ -27,8 +27,20 @@ App.Events.debugEvent = function(eventName) {
function makeActorList() {
const actors = document.createDocumentFragment();
const actorReqs = event.actorPrerequisites();
- for (let i = 0; i < actorReqs.length; ++i) {
- let tab = App.UI.DOM.appendNewElement("div", actors); // TODO: put these in tabs?
+ if (actorReqs.length === 1) {
+ actors.append(singleActorList(0));
+ } else {
+ const tabBar = new App.UI.Tabs.TabBar("Options");
+ for (let i = 0; i < actorReqs.length; ++i) {
+ tabBar.addTab(`Actor ${i}`, `actor${i}`, singleActorList(i));
+ }
+ actors.append(tabBar.render());
+ }
+
+ return actors;
+
+ function singleActorList(i) {
+ let tab = App.UI.DOM.makeElement("div");
for (const slave of V.slaves) {
let slaveDiv = App.UI.DOM.appendNewElement("div", tab, App.UI.DOM.makeElement("span", SlaveFullName(slave), "slave-name"));
let slaveFails = false;
@@ -42,8 +54,8 @@ App.Events.debugEvent = function(eventName) {
}
App.UI.DOM.appendNewElement("hr", tab);
}
+ return tab;
}
- return actors;
}
function castSlave(slave, index) {
--
GitLab