Consult the new version_selector property when using version control with Mike

[gabrielbdornas]

Context

Now, when using version control with Mike and Mkdocs it is possible to hide the version selector that is created when Mike is activated. To accomplish that, we must use the version_selector property set to false accordingly to the mike's configuration.

I asked this question in one of Mike's related issues and its maintainer said that as far as he knows, "Material theme doesn't consult the version_selector property". @squidfunk confirmed that and suggest the opening of this feature request.

Description

I would like to suggest material consult the new Mike's version_selector property, and if it is set to false hide the version selector within the header when version control is enable.

Related links

• Requesting a change
• Hidden versions issue on Mike's repo
• Hide version selector or mike ins't working discussion on material's repo

Use Cases

One business/use case that will benefit from it is when we need to use versions to monitor and share improvements of the document without letting end users explicitly see it.

Visuals

No response

Before submitting

• I have read and followed the change request guidelines.
• I have verified that my idea is a change request and not a bug report.
• I have ensured that, to the best of my knowledge, my idea will benefit the entire community.
• I have included relevant links to the documentation, related issues, and discussions to underline the need for my idea.

[squidfunk]

Thanks for suggesting. Could I please ask you to provide a minimal reproduction, so we have something to iterate? This makes my life easier, as I don't have to first recreate the case you described. Thank you!

[squidfunk]

Okay, I've managed to implement it without the reproduction. Added in c181a46. We now check if mike is configured, and if so, if the version selector is disabled. In that case, we don't add the version selector. In all other cases, we do.

[squidfunk]

Released as part of 9.4.10.

[gabrielbdornas]

Okay, I've managed to implement it without the reproduction. Added in c181a46. We now check if mike is configured, and if so, if the version selector is disabled. In that case, we don't add the version selector. In all other cases, we do.

That was impressive. Sorry to no provide the minimal reproduction in time. I'll try it now.