contrib/online_ide/www/index.html

   1 <!DOCTYPE html>
   2 <html>
   3         <head>
   4                 <meta charset="UTF-8">
   5                 <title>Nit - IDE</title>
   6                 <link rel="stylesheet" type="text/css" href="css/style.css">
   7                 <link rel="stylesheet" type="text/css" href="css/jquery.terminal.css">
   8                 <script type="text/javascript" src="//ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
   9                 <script src="src/ace.js" type="text/javascript" charset="utf-8"></script>
  10                 <script src="src/ext-language_tools.js"></script>
  11                 <script src="js/pnacl_js.js"></script>
  12                 <script src="js/jquery.terminal-0.8.7.js"></script>
  13         </head>
  14         <body>
  15                 <div id="pageheader">
  16                         <div id="pageheader_title"><h1><span>Nit</span> - Online IDE</h1></div>
  17                         <ul id="navigation">
  18                                 <li>
  19                                         <span id="filename">Untitled</span>.nit
  20                                 </li>
  21                                 <li>
  22                                         <button type="button" onclick="save()">Save</button>
  23                                 </li>
  24                                 <li>
  25                                         <button type="button" onclick="interpret()">Run</button>
  26                                 </li>
  27                         </ul>
  28                 </div>
  29                 <div style="clear:both;"></div>
  30                 <div id="editor">print "Hello World !"</div>
  31                 <div id="terminal"></div>
  32                 <div id="listener">
  33                         <!-- Listeners calling functions in pnacl_js.js -->
  34                         <script type="text/javascript">
  35                                 var listener = document.getElementById('listener');
  36                                 listener.addEventListener('load', moduleDidLoad, true);
  37                                 listener.addEventListener('message', handleMessage, true);
  38                                 listener.addEventListener('crash', handleCrash, true);
  39                         </script>
  40                         <!-- Embed bloc referencing to the manifest -->
  41                         <embed id="pnacl_nit"
  42                                 width=0 height=0
  43                                 src="pnacl/pnacl_nit.nmf"
  44                                 type="application/x-pnacl" />
  45                 </div>
  46                 <script src="js/editor_configuration.js"></script>
  47                 <script src="js/FileSaver.js"></script>
  48                 <script src="js/functions.js"></script>
  49         </body>
  50 </html>