Robust Real-Time Synchronization between Textual and Graphical Editors