Details
-
Improvement
-
Status: Closed
-
Normal
-
Resolution: Abandoned
-
None
-
None
-
None
Description
there currently are doc version dropdowns in the upper left corner (only for user manual) and bottom left corner.
These should be unified into one single doc version dropdown, preferably in the top left corner of the docs