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

SymbolTable does not work with CamilleX editors #67

Closed
tshoang opened this issue Feb 20, 2021 · 1 comment · Fixed by #68
Closed

SymbolTable does not work with CamilleX editors #67

tshoang opened this issue Feb 20, 2021 · 1 comment · Fixed by #68
Assignees
@tshoang
Labels
enhancement
Projects
CamilleX
Milestone
CamilleX 2.1.0

Comments

@tshoang
Copy link
Member

tshoang commented Feb 20, 2021

The Rodin Symbol Table does not work with CamilleX editors. Error messages state "Cannot insert symbol: select a text line in an editor".
@tshoang tshoang self-assigned this Feb 20, 2021
@tshoang tshoang added this to the CamilleX 2.1.0 milestone Feb 20, 2021
@tshoang tshoang added this to TODO in CamilleX Feb 20, 2021
@tshoang
Copy link
Member Author

tshoang commented Feb 20, 2021

The handler for inserting symbols currently only work for the Event-B editors (from org.eventb.ui). A new handler should be declared for the CamilleX editors.

tshoang added a commit to tshoang/XEventB that referenced this issue Feb 21, 2021
@tshoang
CamilleX Feature: Update release note for fixing Issue eventB-Soton#67
799e7e0
@tshoang tshoang linked a pull request Feb 21, 2021 that will close this issue
Issue #67: Support Symbol Table for CamilleX Editors #68
Merged
cfsnook added a commit that referenced this issue Feb 23, 2021
@cfsnook
Merge pull request #68 from tshoang/master
0c8cfe7 
Issue #67: Support Symbol Table for CamilleX Editors
@tshoang tshoang moved this from TODO to Done in CamilleX Nov 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tshoang tshoang

Labels
enhancement
Projects
CamilleX
Done
Milestone
CamilleX 2.1.0
Development

Successfully merging a pull request may close this issue.

Issue #67: Support Symbol Table for CamilleX Editors tshoang/XEventB
1 participant
@tshoang