| OLD | NEW |
| 1 Clipboard | 1 Clipboard |
| 2 ========= | 2 ========= |
| 3 | 3 |
| 4 Many of the steps in this tutorial will be easier to copy and paste | 4 Many of the steps in this tutorial will be easier to copy and paste |
| 5 into the Dev Environment. | 5 into the Dev Environment. |
| 6 To copy and paste in the Dev Environment web page, | 6 To copy and paste in the Dev Environment web page, |
| 7 you can use the keyboard or the menu options under (|chrome_menu|). | 7 you can use the keyboard or the menu options (top right corner |chrome_menu|). |
| 8 | 8 |
| 9 .. |chrome_menu| raw:: html | 9 .. |chrome_menu| raw:: html |
| 10 | 10 |
| 11 ☰ → Edit | 11 ☰ → Edit |
| 12 | 12 |
| 13 On your platform use: | 13 On your platform use: |
| 14 | 14 |
| 15 * |copy_key| to Copy | 15 * |copy_key| to Copy |
| 16 * |paste_key| to Paste | 16 * |paste_key| to Paste |
| 17 | 17 |
| (...skipping 13 matching lines...) Expand all Loading... |
| 31 | 31 |
| 32 <span id="paste_key">Loading...</span> | 32 <span id="paste_key">Loading...</span> |
| 33 <script> | 33 <script> |
| 34 var tag = document.getElementById('paste_key'); | 34 var tag = document.getElementById('paste_key'); |
| 35 if (navigator.appVersion.indexOf('Mac') >= 0) { | 35 if (navigator.appVersion.indexOf('Mac') >= 0) { |
| 36 tag.innerHTML = '⌘-V'; | 36 tag.innerHTML = '⌘-V'; |
| 37 } else { | 37 } else { |
| 38 tag.innerHTML = 'Ctrl-V'; | 38 tag.innerHTML = 'Ctrl-V'; |
| 39 } | 39 } |
| 40 </script> | 40 </script> |
| OLD | NEW |