Issue #120: added tab for splitting polygon; enforced synchronization within editor between UI and OpenGL threads