UI: Update general devmenu page (#835)

This commit is contained in:
missymae#2783
2023-10-23 02:01:21 -06:00
committed by GitHub
parent 9dd8275be1
commit ff0118f2f4
4 changed files with 126 additions and 53 deletions
+1 -1
View File
@@ -14,7 +14,7 @@ interface GetMemberOptions {
class EnumHelper<EnumObj extends object, EnumMember extends Member<EnumObj> & string> {
name: string; // Name, for including in error text
defaultArgName: string; // Used as default for for validating ns arg name
defaultArgName: string; // Used as default for validating ns arg name
valueArray: Array<EnumMember>;
valueSet: Set<EnumMember>; // For quick isMember typecheck
fuzzMap: Map<string, EnumMember>; // For fuzzy lookup