Enhancement hasn't been filed before.
Describe the enhancement you want to request
Problem
This is more of a UX improvement in the docs.
If a page has multiple tab choices with the same option, then changing one tab should change all of them. For example, consider this page. If the user chooses "SQLite", all tabs should switch to SQLite.
Solution
The tab change can be used to change the URL query (probably something along the lines of ?dialect=sqlite).
PS: I am not familiar with the codebase so I don't know if this is possible or not but it would be extremely convenient if done.
Enhancement hasn't been filed before.
Describe the enhancement you want to request
Problem
This is more of a UX improvement in the docs.
If a page has multiple tab choices with the same option, then changing one tab should change all of them. For example, consider this page. If the user chooses "SQLite", all tabs should switch to SQLite.
Solution
The tab change can be used to change the URL query (probably something along the lines of
?dialect=sqlite).PS: I am not familiar with the codebase so I don't know if this is possible or not but it would be extremely convenient if done.