editor should not use it's own ResourceSet
See issue RiseClipseGroup/RiseClipseMain#19 in
See issue RiseClipseGroup/RiseClipseMain#19 in
created merge request !10 (merged) to address this issue
By Dominique Marcadet on 2019-02-13T09:21:37 (imported from GitLab project)
mentioned in merge request !10 (merged)
By Dominique Marcadet on 2019-02-13T09:21:38 (imported from GitLab project)
closed via merge request !10 (merged)
By Dominique Marcadet on 2019-03-29T15:09:39 (imported from GitLab project)
mentioned in commit 331d3890
By Dominique Marcadet on 2019-03-29T15:09:39 (imported from GitLab project)