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.

Sign up for GitHub

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

Jump to bottom

generate (all) Rodin components #58

Closed
cfsnook opened this issue Oct 6, 2020 · 2 comments
Closed

generate (all) Rodin components #58

cfsnook opened this issue Oct 6, 2020 · 2 comments
Labels
enhancement

Comments

@cfsnook
Copy link
Member

cfsnook commented Oct 6, 2020

It would be useful to have a menu option to re-generate selected (or all) machines and contexts in a project.

There are a few use cases where this is needed - e.g. if a project is shared in a repo, we may not track the bum and buc files because they have a lot of spurious changes.

At the moment i have to open each CamilleX file and make a change and save it and then revert the change and save it again.
@tshoang
Copy link
Member

tshoang commented Oct 6, 2020

I think ultimately, this is related to XText builder that need to be improved for CamilleX. Ideally, a clean/build should do the job, but it is not done at the moment.

@tshoang
Copy link
Member

tshoang commented Jan 28, 2021

This is a duplication of Issue #63

@tshoang tshoang closed this as completed Jan 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@cfsnook @tshoang