1
0
mirror of https://github.com/cookiengineer/audacity synced 2025-10-15 15:11:12 +02:00

ManualPageID is a new type; rewrite HelpSystem::ShowHelp and its uses

This commit is contained in:
Paul Licameli
2021-06-06 15:40:11 -04:00
parent cfbdd2d22e
commit 132f04d272
20 changed files with 48 additions and 45 deletions

View File

@@ -232,7 +232,8 @@ struct CommandIdTag;
using CommandID = TaggedIdentifier< CommandIdTag, false >;
using CommandIDs = std::vector<CommandID>;
using ManualPageID = wxString;
struct ManualPageIDTag;
using ManualPageID = TaggedIdentifier< ManualPageIDTag >;
#endif