Ecdar / Ecdar/Ecdar-GUI

Make something to indicate that a reachability check is running.

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

Description

Right now when choosing to have a reachability check, nothing happens until the result is shown.
The user might need something that indicates when a reachability check in the simulation view is running. It could be something like changing the mouse icon to reload/load:
![image](https://user-images.githubusercontent.com/82802664/208394494-6797c5be-5264-4d13-9f7f-c7afa17f8a78.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.