Merge branch 'master' into ben/editor

This commit is contained in:
Benjamin Pasero
2018-05-31 06:32:25 +02:00
32 changed files with 126 additions and 95 deletions

View File

@@ -136,7 +136,6 @@ ExtensionsRegistry.registerExtensionPoint<{ [loc: string]: schema.IUserFriendlyV
location,
when: ContextKeyExpr.deserialize(item.when),
canToggleVisibility: true,
collapsed: true,
treeView: true
};