The dropdown in reachability function, in the simulation view, is bigger than the text box
Open
simulation
- Dominant language
- Java
- Stars
- 3
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Description: The drop down menu with the option is “a location” ( L2 in this case) reachable from initial state or current state is narrowed, we can’t see the whole text.
screenshot:
proposed solution: eithe rmake the dropdown function more flexiable, or make it longer.
Contributor guide
Assessment
This issue has not been assessed yet.