An editor containing a library element is not synchronized if the library component is changed
Once the library components are changed, the editors should close.
(from redmine: issue id 1192, created on 2013-01-23, closed on 2014-02-13)
- Relations:
- relates #1187 (closed)
- child #1191 (closed)