| | |
| | | fail("fixed Pro header must no longer be hidden on Language and About tabs") |
| | | require(preferences, "if shouldShowSettingsFixedProHeader", "Settings body must conditionally render the fixed Pro header") |
| | | fixed_header_body = function_body(preferences, "private var settingsFixedProHeader: some View") |
| | | if "Color(nsColor: .controlBackgroundColor)" in fixed_header_body: |
| | | fail("fixed Pro header must not render the removed outer rounded background") |
| | | if ".stroke(Color.secondary.opacity(0.16), lineWidth: 1)" in fixed_header_body: |
| | | fail("fixed Pro header must not render the removed outer rounded border") |
| | | require(fixed_header_body, "if shouldCenterUnlockedIdentityHeader", "fixed Pro header must use the centered unlocked identity branch") |
| | | require(fixed_header_body, 'text: tr("pro.status.unlocked")', "centered Pro identity header must start with the Pro unlocked pill") |
| | | require(fixed_header_body, "style: .unlocked", "centered Pro identity pill must use the unlocked style") |