forked from Graviton-Code-Editor/Graviton-App
-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
147 lines (140 loc) · 5.39 KB
/
index.html
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
<!--
########################################
MIT License
Copyright (c) 2019 Marc Espín Sanz
License > https://github.com/Graviton-Code-Editor/Graviton-App/blob/master/LICENSE.md
#########################################
-->
<!DOCTYPE >
<meta charset="utf-8" />
<link rel="stylesheet" href="src/css/fast_loading.css" />
<div id="g_bootanimation">
<img src="src/icons/logo.svg" />
</div>
<script>
let editor_booted = false,
error_showed = false
function FactoryReset() {
const rimraf = require("rimraf")
rimraf.sync(DataFolderDir);
graviton.restartApp()
}
function DeleteBoot() {
if (document.getElementById("g_bootanimation") != null) {
document.getElementById("g_bootanimation").remove()
editor_booted = true
}
}
window.addEventListener("error", function() {
if (editor_booted == false && error_showed == false) {
error_showed = true
document.getElementById("g_bootanimation").innerHTML += `
<div>
<p>An error has appeared when booting Graviton.</p>
<button class="Button1 red" onclick="FactoryReset()">Repair</button>
<button class="Button1" onclick="restartApp()">Reboot</button>
<button class="Button1" onclick="DeleteBoot()">Ignore</button>
<p class="link" onclick="shell.openExternal('https://github.com/Graviton-Code-Editor/Graviton-App#known-problems-')">See this after updating?</p>
</div>`
} else if (editor_booted == true) {
graviton.throwError(
"An error has appeared! Check the console on developer tools for more info."
)
}
})
</script>
<html>
<div id="body">
<div id="top_bar_app">
<img src="src/icons/logo2.svg" />
<div id="dropmenus_app" class="smallScrollBar">
<!--Dropmenus list-->
</div>
<div id="title_directory" class="smallScrollBar">
<p></p>
</div>
<div id="controls">
<!-- Control buttons (only for windows) -->
</div>
</div>
<body>
<div id="content_app">
<div id="explorer_app" style="width:240px" opened="false">
<elastic-container>
<span
id="openFolder"
height="24px"
width="24px"
onclick="openFolder()"
></span>
</elastic-container>
</div>
<div
id="editor_resizer"
onmouseout="touchingResizer(false)"
onmouseover=" touchingResizer(true)"
></div>
<context>
<div id="context" class="menuWrapper"></div>
</context>
</div>
</div>
<!-- -->
<div id="notifications">
<!-- Notifications list -->
</div>
</body>
<!-- Codemirror -->
<script src="src/lib/codemirror.js"></script>
<script src="src/addons/mode/simple.js"></script>
<script src="src/mode/clike/clike.js"></script>
<script src="src/mode/css/css.js"></script>
<script src="src/mode/xml/xml.js"></script>
<script src="src/mode/javascript/javascript.js"></script>
<script src="src/mode/jsx/jsx.js"></script>
<script src="src/mode/htmlmixed/htmlmixed.js"></script>
<script src="src/mode/markdown/markdown.js"></script>
<script src="src/mode/go/go.js"></script>
<script src="src/mode/dart/dart.js"></script>
<script src="src/mode/pascal/pascal.js"></script>
<script src="src/mode/php/php.js"></script>
<script src="src/mode/ruby/ruby.js"></script>
<script src="src/mode/sql/sql.js"></script>
<script src="src/mode/sass/sass.js"></script>
<script src="src/mode/python/python.js"></script>
<script src="src/mode/shell/shell.js"></script>
<script src="src/mode/rust/rust.js"></script>
<script src="src/addons/dialog/dialog.js"></script>
<script src="src/addons/search/jump-to-line.js"></script>
<script src="src/addons/search/match-highlighter.js"></script>
<script src="src/addons/search/matchesonscrollbar.js"></script>
<script src="src/addons/search/search.js"></script>
<script src="src/addons/search/searchcursor.js"></script>
<script src="src/addons/scroll/annotatescrollbar.js"></script>
<script src="src/addons/scroll/scrollpastend.js"></script>
<script src="src/addons/scroll/simplescrollbars.js"></script>
<link rel="stylesheet" href="src/lib/codemirror.css" />
<link rel="stylesheet" href="src/Highlights/default.css" />
<link rel="stylesheet" href="src/addons/dialog/dialog.css" />
<link rel="stylesheet" href="src/addons/scroll/simplescrollbars.css" />
<link rel="stylesheet" href="src/addons/search/matchesonscrollbar.css" />
<!-- Graviton Editor -->
<link rel="stylesheet" href="src/css/styles.css" />
<link rel="stylesheet" href="src/css/menus.css" />
<link rel="stylesheet" href="src/css/settings.css" />
<link rel="stylesheet" href="src/css/components.css" />
<script type="text/javascript" src="src/javascript/mousetrap.min.js"></script>
<script src="src/javascript/dictionary.js"></script>
<script src="src/javascript/API.js"></script>
<script src="src/javascript/main.js"></script>
<script src="src/javascript/languages.js"></script>
<script src="src/javascript/plugins.js"></script>
<script src="src/javascript/configuration.js"></script>
<script src="src/javascript/welcome.js"></script>
<script src="src/javascript/settings.js"></script>
<script src="src/javascript/customization.js"></script>
<script src="src/javascript/top_bar.js"></script>
<script src="src/javascript/market.js"></script>
<link rel="stylesheet" href="node_modules/xterm/dist/xterm.css" />
<script src="node_modules/xterm/dist/xterm.js"></script>
</html>