Merge pull request #857 from lean-ja/Seasawher/issue534

テスト: iPadおよびiPhoneのsafariではページごとの実行ボタンが動作しない

assets/filePlay.js

@@ -24,17 +24,12 @@
   // 演習問題のファイルのみ、`Examples` ディレクトリではなくて `Exercise` ディレクトリにある
   editButtonLink.href = editButtonLink.href.replace('/Examples/Exercise/', '/Exercise/');
 
-  // ボタンをクリックしたときに以下を実行
-  editButtonLink.addEventListener('click', async function (e) {
-    // デフォルトの挙動をキャンセル
-    e.preventDefault();
-
-    fetch(editButtonLink.href)
-      .then(response => response.text())
-      .then(body => {
-        const escaped_code = encodeURIComponent(body);
-        const url = `https://live.lean-lang.org/#code=${escaped_code}`;
-        open(url);
-      });
-  });
+  // URL を書き換える
+  fetch(editButtonLink.href)
+    .then(response => response.text())
+    .then(body => {
+      const escaped_code = encodeURIComponent(body);
+      const url = `https://live.lean-lang.org/#code=${escaped_code}`;
+      editButtonLink.href = url;
+    });
 })();

theme/index.hbs

@@ -175,7 +175,7 @@
                         </a>
                         {{/if}}
                         {{#if git_repository_edit_url}}
-                        <a href="{{git_repository_edit_url}}" title="Suggest an edit" aria-label="Suggest an edit">
+                        <a href="{{git_repository_edit_url}}" title="Suggest an edit" aria-label="Suggest an edit" target=_blank>
                             <i id="git-edit-button" class="fa fa-edit"></i>
                         </a>
                         {{/if}}