diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-12-03 15:29:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-03 15:29:29 +0100 |
commit | aaabc0abcc139a8212c400756016596281ef09c5 (patch) | |
tree | 88307c059aaf4dd5cd22f919a63074cf25901e27 /core | |
parent | 8762d8fa5d8c4fd6ef3e44270089538dbc6d2f7c (diff) | |
parent | 397e56964dfb6555d2aa431391e3d308a0ec3e0d (diff) |
Merge pull request #55520 from pycbouh/docs-sort-group-newline-theme-and-enums
Diffstat (limited to 'core')
-rw-r--r-- | core/doc_data.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/core/doc_data.h b/core/doc_data.h index 066cc6b848..27ea098513 100644 --- a/core/doc_data.h +++ b/core/doc_data.h @@ -135,7 +135,11 @@ public: String description; String default_value; bool operator<(const ThemeItemDoc &p_theme_item) const { - return name < p_theme_item.name; + // First sort by the data type, then by name. + if (data_type == p_theme_item.data_type) { + return name < p_theme_item.name; + } + return data_type < p_theme_item.data_type; } }; |