]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge "More descriptive label for PlatformUI shared ontology"
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 6 Sep 2017 08:01:47 +0000 (11:01 +0300)
committerGerrit Code Review <gerrit2@www.simantics.org>
Wed, 6 Sep 2017 08:01:47 +0000 (11:01 +0300)
bundles/org.simantics.platform.ui.ontology/graph/PlatformUI.pgraph

index 35e306a89f68895fca60f728952c026d9005140a..11b07f80eba5ab9520a20a9582a9f3d0d47fb0af 100644 (file)
@@ -38,6 +38,7 @@ PlatformUI.Model <T MOD.StructuralModel
 PlatformUI.Configuration <T STR.Composite <T L0.RVIContext
 
 PlatformUI.SharedOntology <T MOD.SharedOntology
+    L0.HasLabel "Generic Shared Ontology"
     @L0.assert L0.IsLinkedTo PlatformUI
 
 PlatformUI.StandardPropertiesTabContribution : SEL.TypedVariableTabContribution