File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 102102 < img src ="{{ pathto('_static/logo.png', 1) }} "/>
103103 </ a >
104104
105+ {% include "version_dropdown.html" %}
105106 {% include "searchbox.html" %}
106107
107108 {% endblock %}
Original file line number Diff line number Diff line change 1+ < div class ="version ">
2+ < div class ="version-dropdown ">
3+ < lable for ="version-list "> Version:</ lable >
4+ < select class ="version-list " id ="version-list " onchange ="this.options[this.selectedIndex].value && (window.location = this.options[this.selectedIndex].value); ">
5+ < option value ="http://moveit2_tutorials.picknik.ai "> Moveit 2 - Foxy</ option >
6+ < option value ="http://ros-planning.github.io/moveit_tutorials/ "> MoveIt 1 - Noetic</ option >
7+ < option value ="" selected > MoveIt 1 - Melodic</ option >
8+ < option value ="http://docs.ros.org/en/kinetic/api/moveit_tutorials/html/index.html "> MoveIt 1 - Kinetic</ option >
9+ < option value ="http://docs.ros.org/en/indigo/api/moveit_tutorials/html/index.html "> MoveIt 1 - Indigo (EOL)</ option >
10+ </ select >
11+ </ div >
12+ </ div > < br >
You can’t perform that action at this time.
0 commit comments