- // Note: I'm using "disable" as equivalent to "hideui" for the moment (as of rEFInd 0.2.4)
- // because I've folded two options into one and removed some values, so I want to catch
- // existing configurations as much as possible. The "disable" equivalency to "hideui" will
- // be removed sooner or later, leaving only "hideui".
- } else if ((StriCmp(TokenList[0], L"hideui") == 0) || (StriCmp(TokenList[0], L"disable") == 0)) {