Skip to content

Commit dd459c1

Browse files
committed
Add checkmark indication for normal run; x symbol WIP for canceled runs
1 parent 2a4313b commit dd459c1

File tree

2 files changed

+16
-1
lines changed

2 files changed

+16
-1
lines changed

src/ui/icons/IconCheckmark.re

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
[@react.component]
2+
let make = () => {
3+
<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" fill="currentColor" className="bi bi-check2" viewBox="0 0 16 16">
4+
<path d="M13.854 3.646a.5.5 0 0 1 0 .708l-7 7a.5.5 0 0 1-.708 0l-3.5-3.5a.5.5 0 1 1 .708-.708L6.5 10.293l6.646-6.647a.5.5 0 0 1 .708 0z"/>
5+
</svg>;
6+
}

src/ui/panel/ParameterView.re

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,16 @@ let make = (~parameters) => {
4141
let map_history_entry_to_list_entry = (arr) => {
4242
arr |> Array.mapi((i, entry) =>
4343
{<li key={String.cat("params_", string_of_int(i))} className="list-group-item">
44-
{entry |> React.string}
44+
<div className="container text-center">
45+
<div className="row">
46+
<div className="col-1">
47+
<IconCheckmark />
48+
</div>
49+
<div className="col">
50+
{entry |> React.string}
51+
</div>
52+
</div>
53+
</div>
4554
</li>}
4655
)
4756
};

0 commit comments

Comments
 (0)