Commit c94d3b36 authored by Dominic's avatar Dominic
Browse files

KB63 was here

parent ee01451d
Pipeline #36882 failed with stages
in 4 minutes and 16 seconds
......@@ -22,6 +22,17 @@
padding: 4px 20px 4px 0px;
}
.move-wrap {
position: relative;
&.terminate .skull {
display: inline-block;
}
.skull {
display: none;
filter: drop-shadow(1px 1px 2px black);
&::before {
content: "💀";
}
}
>.no-spill {
height: 100%;
width: 20px;
......
......@@ -198,10 +198,12 @@ export const ExecutionManager: React.FC<{ initializedDataAuthorityData: Initiali
const gradientColors = containedColors.map((c, index) => `${c} ${(index) * step}% ${(index + 1) * step}%`).join(", ");
const gradientString = `linear-gradient(to bottom, ${gradientColors})`;
const futureMove = index >= executionContext.state.numAliveMoves;
return [<div key={index} className="move-wrap">
const classNames = "move-wrap" + (move.transition.extensions["plusplus"]?.["type"] === "terminate" ? " terminate" : "");
return [<div key={index} className={classNames}>
<div className={"move" + (futureMove ? " future" : "")} style={{ background: gradientString } as React.CSSProperties} onClick={() => resetTrace(move)}>
<span className="label">
{move.transition.displayName}
<span className="skull" />
</span>
</div>
</div>];
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment