Toponaming move makEFace as makeElementFace and dependencies

src/App/MappedElement.h

@@ -26,6 +26,7 @@
 #include "IndexedName.h"
 #include "MappedName.h"
 
+
 namespace App
 {
 class DocumentObject;
@@ -98,6 +99,22 @@ struct AppExport MappedElement
     }
 };
 
+struct AppExport ElementNameComp {
+    /** Comparison function to make topo name more stable
+     *
+     * The sorting decompose the name into either of the following two forms
+     *      '#' + hex_digits + tail
+     *      non_digits + digits + tail
+     *
+     * The non-digits part is compared lexically, while the digits part is
+     * compared by its integer value.
+     *
+     * The reason for this is to prevent name with bigger digits (usually means
+     * comes late in history) comes early when sorting.
+     */
+    bool operator()(const MappedName &a, const MappedName &b) const;
+};
+
 }// namespace Data