Ecdar / Ecdar-GUI

A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
MIT License
3 stars 5 forks source link

The dropdown in reachability function, in the simulation view, is bigger than the text box #113

Open WassawRoki opened 1 year ago

WassawRoki commented 1 year ago

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: image

proposed solution: eithe rmake the dropdown function more flexiable, or make it longer.