graviton-plugin-sdk
Version:
Gravtion plugin Dev Kit
120 lines (108 loc) • 4.03 kB
HTML
<!--
########################################
MIT License
Copyright (c) 2019 Marc Espin Sanz
License > https://github.com/Graviton-Code-Editor/Graviton-App/blob/master/LICENSE.md
#########################################
-->
<html>
<head>
<meta charset="utf-8" />
</head>
<link rel="stylesheet" href="src/css/fast_loading.css" />
<div id="g_bootanimation">
<div>
<img src="src/icons/logo.svg" />
<div id=boot_loader class="center loading_bar">
<div></div>
<div class=bg></div>
</div>
</div>
</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
graviton.consoleInfo("Booted Graviton without errors.")
}
}
window.addEventListener("error", function () {
if (editor_booted == false && error_showed == false) {
error_showed = true
document.getElementById("boot_loader").remove();
document.getElementById("g_bootanimation").children[0].innerHTML += `
<div class=err>
<p>An error has appeared when booting Graviton.</p>
<button class="Button1 red" onclick="FactoryReset()">Factory Reset</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/issues')">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>
<div id="body" windows="0">
<div id="top_bar_app">
<img src="src/icons/logo2.png" />
<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" class="explorer" style="width:240px" opened="false">
</div>
<div id="editor_resizer"></div>
<div id="editors">
<div id="screens">
<!-- Screens -->
</div>
</div>
<context>
<div id="context" class="menuWrapper"></div>
</context>
</div>
</div>
<div id="notifications">
<!-- Notifications list -->
</div>
</body>
<link rel="stylesheet" href="src/css/adapted_cm.css" />
<link rel="stylesheet" href="src/highlightings/default.css" />
<!-- Graviton Files -->
<link rel="stylesheet" href="src/css/styles.css" />
<link rel="stylesheet" href="src/css/menus.css" />
<link rel="stylesheet" href="src/css/components.css" />
<link rel="stylesheet" href="src/css/pages/settings.css" />
<link rel="stylesheet" href="src/css/controls/windows.css" />
<link rel="stylesheet" href="src/css/controls/dialogs.css" />
<link rel="stylesheet" href="src/css/controls/context.css" />
<link rel="stylesheet" href="src/css/pages/market.css" />
<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/configuration.js"></script>
<!-- XtermJS -->
<link rel="stylesheet" href="node_modules/xterm/dist/xterm.css" />
<link rel="stylesheet" href="node_modules/codemirror/addon/fold/foldgutter.css" />
<script async src="node_modules/xterm/dist/xterm.js"></script>
</html>