Add an 'Open in IDE' button for the frontpage + spec examples

Author: wilzbach

css/style.css

@@ -1582,6 +1582,10 @@ input.runButton, input.resetButton, input.argsButton, input.inputButton, input.e
     z-index: 2;
     cursor: pointer;
 }
+input.openInEditorButton {
+    float: right;
+    width: auto;
+}
 input.runButton:hover, input.resetButton:hover, input.argsButton:hover, input.inputButton:hover, input.editButton:hover,input.runButton[disabled]
 {
     background:-webkit-gradient( linear, left top, left bottom, color-stop(0.05, #dfdfdf), color-stop(1, #ededed) );

js/run.js

@@ -233,7 +233,8 @@ $(document).ready(function()
             + (args.length > 0 ? '<input type="button" class="argsButton" value="Args">' : '')
             + (stdin.length > 0 ? '<input type="button" class="inputButton" value="Input">' : '')
             + '<input type="button" class="runButton" value="Run">'
-            + '<input type="button" class="resetButton" value="Reset"></div>'
+            + '<input type="button" class="resetButton" value="Reset">'
+            + '<input type="button" class="openInEditorButton" value="Open in IDE"></div>'
         );
     });