Skip to content

Issues: Ecdar/Ecdar-GUI-Web

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

[Feature] Queries should list engine options enhancement New feature or request
#179 opened Dec 15, 2023 by NybyDK
[Feature] Easier example project access enhancement New feature or request
#178 opened Dec 15, 2023 by SolarEarth37
Unit tests for the public methods of GlobalCssSchemesLoader and GlobalFontLoader enhancement New feature or request test Relates to testing of existing code
#166 opened Dec 13, 2023 by BaBrixx
[Feature] Making EngineUI succeptible to change enhancement New feature or request
#163 opened Dec 13, 2023 by SolarEarth37
Proper testing of the public methods of GlobalCssSchemesLoader and GlobalFontLoader enhancement New feature or request test Relates to testing of existing code
#159 opened Dec 6, 2023 by BaBrixx
[Feature] Settings View as a modal or new window enhancement New feature or request
#153 opened Dec 4, 2023 by NybyDK
Test project loading and saving test Relates to testing of existing code
#149 opened Dec 3, 2023 by atjn
Refactor automaton tests to follow style guide test Relates to testing of existing code
#148 opened Dec 3, 2023 by atjn
Load theme in a blocking way to prevent FOUC enhancement New feature or request
#147 opened Dec 1, 2023 by atjn
Don't use JS-based prompts enhancement New feature or request
#146 opened Dec 1, 2023 by atjn
Update old documentation to match new GUI
#141 opened Nov 30, 2023 by atjn
Create user flow for broken projects
#136 opened Nov 27, 2023 by atjn
Connect code to console
#135 opened Nov 27, 2023 by atjn
[Feature] Code editor enhancement New feature or request
#134 opened Nov 27, 2023 by KamyaPA
2
[Feature] Make grid an option in the main view enhancement New feature or request
#98 opened Nov 8, 2023 by Jesper276
[Feature] Support custom user-imported fonts enhancement New feature or request
#96 opened Nov 6, 2023 by BaBrixx
[Feature] Support the CSS relative color syntax enhancement New feature or request wontfix This will not be worked on
#95 opened Nov 6, 2023 by BaBrixx
ProTip! Follow long discussions with comments:>50.