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

Change title of editor tab to match name of edited file #17

Closed
vainolo opened this issue Sep 4, 2011 · 1 comment
Closed

Change title of editor tab to match name of edited file #17

vainolo opened this issue Sep 4, 2011 · 1 comment
Assignees
@vainolo
Labels
Diagram Implementation Interpreter Model Definition Task
Milestone
M2

Comments

@vainolo
Copy link
Owner

vainolo commented Sep 4, 2011

No description provided.

@ghost ghost assigned vainolo Sep 4, 2011
@vainolo
Copy link
Owner Author

vainolo commented Sep 4, 2011

Done. Also fixed bothering exception "workspace out of sync" that showed up every time I opened the model file, and was caused because saving the model file did not cause the workspace to refresh it's resource. Added a call to "IFile.touch" after saving the model so the file is refreshed in the workspace.

@vainolo vainolo closed this as completed Sep 4, 2011
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vainolo vainolo

Labels
Diagram Implementation Interpreter Model Definition Task
Projects
None yet
Milestone
M2
Development

No branches or pull requests
1 participant
@vainolo