100644 blob 7bfc644ca55af6088a2b4e285d9e1373182ecab3	FileManager.js
100644 blob 4a9bbde7cc80ec49036e068cffc0a8e61e68aeaa	UISourceCode.js
100644 blob 25b056ed7fbfc66fd8c8d8c49f139f265403eb8d	WorkspaceImpl.js
100644 blob 0d025c44f926e0593e9c3c1d6a5c87803f7cbbd1	module.json
100644 blob 3b2268c4019ec13f7217e8815b16e872ae9cd133	workspace.js
100644 blob f58d8503ad03f717384595fb39012ee9f85e564b	workspace_strings.grdp