|
948f47de3b
|
fix: tie label and buttons for switching tree
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-17 17:37:15 +02:00 |
|
|
f3da4bae3e
|
fix: show trees in order they were defined
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-17 17:14:09 +02:00 |
|
|
7caf62cf42
|
fix: move predefined scenarios
Fixes #12
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-17 16:40:26 +02:00 |
|
|
421862aaae
|
feat: add navbar
Fixes #5
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-17 15:18:56 +02:00 |
|
|
f779c349c3
|
feat: add tooltips to prepared scenarios
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-17 14:39:09 +02:00 |
|
|
f17abfd50e
|
fix: name of scenario
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-16 18:57:29 +02:00 |
|
|
030cd9a701
|
feat: add predefined scenarios to visualization
Fixes #3
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-16 18:23:05 +02:00 |
|
|
326756db69
|
fix: add ability to choose trees to comparator too
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-16 16:47:27 +02:00 |
|
|
93cb1d4241
|
feat: switch to bootstrap
* switch to bootstrap
* allow selecting one of the trees to be run
Fixes #1
Fixes #4
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-16 15:58:46 +02:00 |
|
|
6e7b609178
|
fix: add patternfly styles
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-15 21:57:36 +02:00 |
|
|
c7c27300f6
|
feat: Add comments to currently run operations
Fixes #8
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-15 17:53:12 +02:00 |
|
|
f945d4dcdb
|
chore: factor out recorder
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-07 16:54:28 +02:00 |
|
|
fc1c9162d6
|
chore: factor out Array.equals
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-07 16:53:04 +02:00 |
|
|
25ace54553
|
chore: format rest of the files
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-05-01 17:10:46 +02:00 |
|
|
2beb2d9fc7
|
feat: First working version
Signed-off-by: Matej Focko <me@mfocko.xyz>
|
2021-07-28 21:20:02 +02:00 |
|