Editor stays dirty and shows extra content after commit

ftsrg / mondo-collab-framework

MONDO Collaboration Framework (WP4)

Eclipse Public License 1.0

3 stars 1 forks source link

Editor stays dirty and shows extra content after commit #52

Closed imbur closed 8 years ago

imbur commented 8 years ago

When performing a commit in the online collaboration editor, the other editors of other users should update dirty flag and content accordingly.

bergmanngabor commented 8 years ago

This issue was reproduced again by @istvanrath. I have pushed some more logging code, hoping it may help in isolating the issue. We will try to triangulate the problem next week with @imbur.

imbur commented 8 years ago

There are two different tasks to complete:

[ ] ensure that the dirty bit is in line with the state of the content
[x] fix lens reinitialization issue

imbur commented 8 years ago

Could not reproduce this phenomenon after the previous fix. Closing.