Skip to content
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

Graphical Editor #30

Open
hoechp opened this issue Mar 4, 2017 · 0 comments
Open

Graphical Editor #30

hoechp opened this issue Mar 4, 2017 · 0 comments

Comments

@hoechp
Copy link
Contributor

hoechp commented Mar 4, 2017

Building a JS-based graphical editor for graphs, GTR and their RG (probably within a master's project).

  • both standalone on a browser and as an Eclipse plugin
  • exporting and importing graphs, GTR and possibly RG, too
  • with focus on intuitive design and usability
  • both the graphs/GTR and the generated RG need some 'auto layout' / 'beautify' features
  • ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant