4 Many of the steps in this tutorial will be easier to copy and paste
5 into the Dev Environment.
6 To copy and paste in the Dev Environment App,
7 you will need to use the keyboard.
12 * |paste_key| to Paste
14 .. |copy_key| raw:: html
16 <span id="copy_key">Loading...</span>
18 var tag = document.getElementById('copy_key');
19 if (navigator.appVersion.indexOf('Mac') >= 0) {
20 tag.innerHTML = '⌘-C';
22 tag.innerHTML = 'Ctrl-Shift-C';
26 .. |paste_key| raw:: html
28 <span id="paste_key">Loading...</span>
30 var tag = document.getElementById('paste_key');
31 if (navigator.appVersion.indexOf('Mac') >= 0) {
32 tag.innerHTML = '⌘-V';
34 tag.innerHTML = 'Ctrl-Shift-V';