gui: use emplace vs. push

gadfort · gadfort · commit 6ef96fbfed87 · 2025-10-14T13:40:09.000-04:00
Signed-off-by: Peter Gadfort &lt;gadfort@zeroasic.com&gt;
diff --git a/src/gui/src/dbDescriptors.cpp b/src/gui/src/dbDescriptors.cpp
@@ -895,7 +895,7 @@ Descriptor::Properties DbMasterDescriptor::getDBProperties(
 
   std::vector<std::any> edge_types;
   for (auto* edge : master->getEdgeTypes()) {
-    edge_types.push_back(gui->makeSelected(edge));
+    edge_types.emplace_back(gui->makeSelected(edge));
   }
   if (!edge_types.empty()) {
     props.push_back({"Edge types", edge_types});

Original file line number	Diff line number	Diff line change
`@@ -895,7 +895,7 @@ Descriptor::Properties DbMasterDescriptor::getDBProperties(`
`895`	`895`
`896`	`896`	`std::vector<std::any> edge_types;`
`897`	`897`	`for (auto* edge : master->getEdgeTypes()) {`
`898`		`- edge_types.push_back(gui->makeSelected(edge));`
	`898`	`+ edge_types.emplace_back(gui->makeSelected(edge));`
`899`	`899`	`}`
`900`	`900`	`if (!edge_types.empty()) {`
`901`	`901`	`props.push_back({"Edge types", edge_types});`