entity name now highlighted in extension panel

Raynesz · Dec 22, 2022 · e4c4060 · e4c4060
1 parent 8dc709d
commit e4c4060
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/components/editor/ExtensionProperties.jsx b/src/components/editor/ExtensionProperties.jsx
@@ -98,7 +98,9 @@ const Specialize = (props) => {
         </select>
       </div>
       <hr />
-      <div className="extension-group">{props.parent.name} specializes at:</div>
+      <div className="extension-group">
+        <span style={{ fontWeight: "bold" }}>{props.parent.name}</span> specializes at:
+      </div>
     </>
   );
 };
@@ -114,7 +116,9 @@ const Union = (props) => {
         </select>
       </div>
       <hr />
-      <div className="extension-group">{props.parent.name} is a Union of:</div>
+      <div className="extension-group">
+        <span style={{ fontWeight: "bold" }}>{props.parent.name}</span> is a Union of:
+      </div>
     </>
   );
 };