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 |