| Index: src/site/docs/editor/getting-started/index.html
|
| diff --git a/src/site/docs/editor/getting-started/index.html b/src/site/docs/editor/getting-started/index.html
|
| index f836ab531f62c9eddbb438900922476dba8be862..31fc5a355e8d5fb612e954404772c226b2fdbeba 100644
|
| --- a/src/site/docs/editor/getting-started/index.html
|
| +++ b/src/site/docs/editor/getting-started/index.html
|
| @@ -7,6 +7,8 @@ js:
|
| defer: true
|
| - url: /js/editor-downloads-analytics.js
|
| defer: true
|
| +- url: /js/editor-version.js
|
| + defer: true
|
| ---
|
|
|
| {% include platform-specific-text/_noscript.html %}
|
| @@ -17,14 +19,7 @@ js:
|
|
|
| <p>
|
| Follow this tutorial to install and use Dart Editor on
|
| - <input type="radio" name="osChoices" id="win">
|
| - <label class="os-choice" for="win">Windows</label>,
|
| -
|
| - <input type="radio" name="osChoices" id="linux" checked="true">
|
| - <label class="os-choice" for="linux">Linux</label>, or
|
| -
|
| - <input type="radio" name="osChoices" id="mac">
|
| - <label class="os-choice" for="mac">Mac</label>.
|
| +{% include os-choices.html %}
|
| </p>
|
|
|
| <p>
|
|
|