Fix issue #827
Issue #794 - syncOpenDocuments is now called after using manual refresh button in panel
Version 0.13.42