Ecdar / Ecdar/Ecdar-GUI

Remove the delay field, and relocate the reset button.

Open
#118 0 comments 0 reactions 0 assignees View on GitHub
simulation
Dominant language
Java
Stars
3
Forks
5
PR merge metrics
No merged PRs in 30d

Description

The delay is not implemented. It should maybe be removed,
![image](https://user-images.githubusercontent.com/82802664/207856836-d75bd193-ca81-4b70-b27a-5676a12e1c5d.png)

Relocate the reset button so it is placed beside the trace title;
![image](https://user-images.githubusercontent.com/82802664/207857214-05354ee2-3128-43d5-b02f-628d074b250e.png)

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.