fix for context menu in code-mirror
fix so embedded code-mirror can reedit after scroll
Documentation
Documentation
gwt server updates (partial)