terra/index.html at main · uvapl/terra · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
<!DOCTYPE>
<html lang="en">

<head>
  <meta charset="utf-8" />
  <meta name="robots" content="noindex,nofollow">
  <meta name="viewport" content="width=device-width,initial-scale=1.0,maximum-scale=1.0,user-scalable=no">
  <link rel="stylesheet" href="static/css/vendor/goldenlayout/1.5.9/goldenlayout-base.css" />
  <link rel="stylesheet" href="static/css/vendor/goldenlayout/1.5.9/goldenlayout-light-theme.css" />
  <link rel="stylesheet" href="static/css/vendor/xterm-5.4.0.min.css" />
  <link rel="stylesheet"
    href="https://cdnjs.cloudflare.com/ajax/libs/jquery-contextmenu/2.7.1/jquery.contextMenu.min.css">
  <link rel="stylesheet" href="static/css/main.ide.css" />
  <title>Terra IDE</title>
</head>

<body class="terra-ide">

  <div class="app-container">
    <nav class="navbar">
      <div class="navbar-left">
        <h1 class="page-title">Terra IDE</h1>
        <!-- Built dynamically from the command registry; see app.ide.commands.js. -->
        <ul class="menubar"></ul>
        <div class="navbar-toolbar" id="navbar-toolbar"></div>
      </div>
      <div class="msg-container"></div>
    </nav>
    <div class="layout-outer-container">
      <div class="file-tree-container">
        <div class="title-container">
          <span class="title" id="file-tree-title">temporary storage</span>
          <button type="button" class="add-folder-btn" id="file-tree--add-folder-btn"></button>
          <button type="button" class="add-file-btn" id="file-tree--add-file-btn"></button>
        </div>
        <div id="file-tree" class="file-tree"></div>
        <div id="file-dropzone" class="file-dropzone"></div>
      </div>
      <div id="layout" class="layout-container"></div>
    </div>
  </div>

  <!-- Load third party libraries -->
  <script src="static/js/vendor/jquery/jquery-3.7.1.min.js"></script>
  <script src="static/js/vendor/jquery/jquery.fancytree-all-deps-2.38.3.min.js"></script>
  <script src="static/js/vendor/jquery/jquery-contextmenu-2.7.1.min.js"></script>
  <script src="static/js/vendor/ace/1.39.0/ace.js"></script>
  <script src="static/js/vendor/ace/1.39.0/ext-language_tools.js"></script>
  <script src="static/js/vendor/goldenlayout-1.5.9.min.js"></script>
  <script src="static/js/vendor/xterm/5.4.0/xterm.min.js"></script>
  <script src="static/js/vendor/xterm/5.4.0/xterm.fit.min.js"></script>
  <script src="static/js/vendor/jszip-3.10.1.min.js"></script>
  <script src="static/js/vendor/filesaver-2.0.4.min.js"></script>
  <script src="static/js/vendor/tooltip/popper-2.11.8.min.js"></script>
  <script src="static/js/vendor/tooltip/tippy-6.3.7.min.js"></script>

  <!-- Load custom scripts -->
  <script src="static/js/main.ide.js" type="module"></script>
</body>

</html>