Now opens language node after import

discipl / flinteditor-mps

GNU General Public License v3.0

2 stars 3 forks source link

Now opens language node after import #179

Closed TristanAlbers closed 2 years ago

blackstardlb commented 2 years ago

I think it's would be better to have the importFromJson method return the version we can always the lawsource it belongs to from its source reference.