2016-04-30 14:28:33 -04:00
|
|
|
<!DOCTYPE html>
|
2016-03-12 13:50:43 -05:00
|
|
|
<html>
|
|
|
|
<head>
|
|
|
|
<title>Tilde Friends</title>
|
2021-01-02 13:10:00 -05:00
|
|
|
<link type="text/css" rel="stylesheet" href="/static/style.css">
|
|
|
|
<link type="image/png" rel="shortcut icon" href="/static/favicon.png">
|
2016-03-12 13:50:43 -05:00
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
|
|
</head>
|
2016-04-30 14:28:33 -04:00
|
|
|
<body style="display: flex; flex-flow: column">
|
|
|
|
<div class="navigation">
|
2016-12-22 12:38:21 -05:00
|
|
|
<span>😎</span>
|
2016-04-30 14:28:33 -04:00
|
|
|
<span id="title">Tilde Friends</span>
|
2022-02-05 18:04:04 -05:00
|
|
|
<a accesskey="h" data-tip="Open home app." href="/">home</a>
|
|
|
|
<a accesskey="a" data-tip="Open apps list." href="/~core/apps/">apps</a>
|
2022-02-03 18:57:47 -05:00
|
|
|
<a accesskey="e" data-tip="Toggle the app editor." href="#" onclick="event.preventDefault(); toggleEdit()">edit</a>
|
2022-02-05 18:04:04 -05:00
|
|
|
<a accesskey="t" data-tip="Open performance trace." href="#" onclick="event.preventDefault(); trace()">trace</a>
|
|
|
|
<a accesskey="g" data-tip="Show graphs." href="#" onclick="event.preventDefault(); toggleStats()">stats</a>
|
2016-04-30 14:28:33 -04:00
|
|
|
<span id="status"></span>
|
2022-07-26 20:27:10 -04:00
|
|
|
<span id="requests"></span>
|
|
|
|
<span id="permissions"></span>
|
2016-04-30 14:28:33 -04:00
|
|
|
<span id="login"></span>
|
2016-03-12 13:50:43 -05:00
|
|
|
</div>
|
2017-01-16 10:24:44 -05:00
|
|
|
<div id="content" class="hbox" style="flex: 1 1; width: 100%">
|
2022-03-07 16:06:20 -05:00
|
|
|
<div id="statsPane" class="vbox" style="display: none; flex 1 1">
|
2022-01-22 13:50:29 -05:00
|
|
|
<div class="hbox">
|
|
|
|
<input type="button" id="closeStats" name="closeStats" value="Close" onclick="closeStats()">
|
|
|
|
</div>
|
2022-03-07 16:06:20 -05:00
|
|
|
<div id="graphs" class="vbox" style="height: 100%"></div>
|
2022-01-22 13:50:29 -05:00
|
|
|
</div>
|
2021-01-02 13:10:00 -05:00
|
|
|
<div id="editPane" class="vbox" style="display: none">
|
2017-01-16 10:24:44 -05:00
|
|
|
<div class="navigation">
|
|
|
|
<input type="button" id="closeEditor" name="closeEditor" value="Close" onclick="closeEditor()">
|
|
|
|
<input type="button" id="save" name="save" value="Save" onclick="save()">
|
2021-01-02 13:10:00 -05:00
|
|
|
<input type="text" id="name" name="name"></input>
|
2022-01-30 09:51:09 -05:00
|
|
|
<input type="button" id="push_to_parent" value="Push to Parent" onclick="pushToParent()">
|
|
|
|
<input type="button" id="pull_from_parent" value="Pull from Parent" onclick="pullFromParent()">
|
2017-01-16 10:24:44 -05:00
|
|
|
<input type="button" id="revert" name="revert" value="Revert to Saved" onclick="revert()">
|
2022-06-20 14:13:19 -04:00
|
|
|
<input type="button" id="delete" name="delete" value="Delete" onclick="deleteApp()">
|
2021-01-02 13:10:00 -05:00
|
|
|
</div>
|
|
|
|
<div class="hbox" style="height: 100%">
|
2022-02-26 17:51:35 -05:00
|
|
|
<div id="filesPane">
|
|
|
|
<div class="hbox">
|
|
|
|
<span id="files_header">Files</span>
|
|
|
|
<span id="files_hide" onclick="hideFiles()">«</span>
|
|
|
|
<span id="files_show" onclick="showFiles()">»</span>
|
|
|
|
</div>
|
|
|
|
<div id="files_content">
|
|
|
|
<ul id="files"></ul>
|
|
|
|
<br>
|
|
|
|
<div><button onclick="newFile()">New File</button></div>
|
|
|
|
<div><button onclick="removeFile()">Remove File</button></div>
|
|
|
|
</div>
|
2021-01-02 13:10:00 -05:00
|
|
|
</div>
|
|
|
|
<div id="docPane" style="display: flex; flex: 1 1 50%; flex-flow: column">
|
|
|
|
<div style="flex: 1 1 50%; position: relative">
|
|
|
|
<textarea id="editor" class="main"></textarea>
|
|
|
|
</div>
|
|
|
|
</div>
|
2017-01-16 10:24:44 -05:00
|
|
|
</div>
|
|
|
|
</div>
|
2021-12-22 10:05:08 -05:00
|
|
|
<div id="viewPane" class="vbox" style="flex: 1 0 50%; overflow: auto">
|
2022-06-20 15:50:03 -04:00
|
|
|
<iframe id="document" sandbox="allow-forms allow-scripts allow-top-navigation allow-modals" allow="serial" style="width: 100%; height: 100%; border: 0"></iframe>
|
2017-01-16 10:24:44 -05:00
|
|
|
</div>
|
2016-04-30 14:28:33 -04:00
|
|
|
</div>
|
2022-06-18 13:07:36 -04:00
|
|
|
<script src="/split/split.min.js"></script>
|
|
|
|
<script src="/smoothie/smoothie.js"></script>
|
2021-01-02 13:10:00 -05:00
|
|
|
<script src="/static/client.js"></script>
|
2016-03-12 13:50:43 -05:00
|
|
|
</body>
|
|
|
|
</html>
|