| <!-- Note: only works when deployed --> |
| <select class="form-control" onchange="if (this.value) window.location.href=this.value"> |
| <option value="/latest" selected> |
| Version: latest |
| </option> |
| <option value="/v1_6_0" {% if cur_version == "1.6.0" %}selected="selected" {% endif %}> |
| Version: 1.6.0 |
| </option> |
| <option value="/v1_5_0" {% if cur_version == "1.5.0" %}selected="selected" {% endif %}> |
| Version: 1.5.0 |
| </option> |
| <option value="/v1_4_0" {% if cur_version == "1.4.0" %}selected="selected" {% endif %}> |
| Version: 1.4.0 |
| </option> |
| <option value="/v1_3_0/os/introduction" {% if cur_version == "1.3.0" %}selected="selected" {% endif %}> |
| Version: 1.3.0 |
| </option> |
| <option value="/v1_2_0/os/introduction" {% if cur_version == "1.2.0" %}selected="selected" {% endif %}> |
| Version: 1.2.0 |
| </option> |
| <option value="/v1_1_0/os/introduction" {% if cur_version == "1.1.0" %}selected="selected" {% endif %}> |
| Version: 1.1.0 |
| </option> |
| <option value="/v1_0_0/os/introduction" {% if cur_version == "1.0.0" %}selected="selected" {% endif %}> |
| Version: 1.0.0 |
| </option> |
| <option value="/v0_9_0/os/introduction" {% if cur_version == "0.9.0" %}selected="selected" {% endif %}> |
| Version: 0.9.0 |
| </option> |
| </select> |