Fix/minor fixes for 2.3.5 - Githubissues

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

Fix/minor fixes for 2.3.5 #155

Closed Nielswps closed 1 year ago

Nielswps commented 1 year ago

Changes/Additions:

Fixes an issue where components generated by get-component would be added twice
Smoothens the component resizing as the grid no longer exists
Examples have been updated to look better and follow the new JSON structure
Refinement and get-component queries added to the Ecdar University example