2024-02-24 11:16:07 -05:00
|
|
|
<!doctype html>
|
2016-03-12 13:50:43 -05:00
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title>Tilde Friends</title>
|
2024-02-24 11:16:07 -05:00
|
|
|
<link type="text/css" rel="stylesheet" href="/static/style.css" />
|
|
|
|
|
<link type="text/css" rel="stylesheet" href="/static/w3.css" />
|
2024-06-20 20:05:00 -04:00
|
|
|
<link type="image/svg+xml" rel="icon" href="/static/tildefriends.svg" />
|
2024-02-24 11:16:07 -05:00
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
2024-01-03 18:52:05 -05:00
|
|
|
<script>
|
|
|
|
|
function set_access_key_title(event) {
|
|
|
|
|
if (!event.srcElement.title) {
|
2024-02-24 11:16:07 -05:00
|
|
|
event.srcElement.title = `${event.srcElement.dataset.tip} [${(event.srcElement.accessKeyLabel || '⌨️' + event.srcElement.accessKey).toUpperCase()}]`;
|
2024-01-03 18:52:05 -05:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
</script>
|
2016-03-12 13:50:43 -05:00
|
|
|
</head>
|
2024-02-24 11:16:07 -05:00
|
|
|
<body
|
|
|
|
|
style="
|
|
|
|
|
display: flex;
|
|
|
|
|
flex-flow: column;
|
|
|
|
|
width: 100vw;
|
|
|
|
|
height: 100vh;
|
|
|
|
|
position: absolute;
|
|
|
|
|
max-width: 100%;
|
|
|
|
|
max-height: 100%;
|
|
|
|
|
"
|
|
|
|
|
>
|
2024-07-04 14:35:53 -04:00
|
|
|
<noscript>
|
|
|
|
|
<div class="w3-container">
|
|
|
|
|
<div class="w3-panel w3-red w3-padding w3-card-4">
|
|
|
|
|
<h1>TildeFriends requires JavaScript.</h1>
|
2024-07-22 14:19:12 -04:00
|
|
|
<p>
|
|
|
|
|
It looks like JavaScript is disabled or unsupported. This isn't
|
|
|
|
|
going to work.
|
|
|
|
|
</p>
|
2024-07-04 14:35:53 -04:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</noscript>
|
2023-04-29 14:23:08 -04:00
|
|
|
<tf-navigation></tf-navigation>
|
2024-01-23 22:11:49 -05:00
|
|
|
<div id="content" class="hbox" style="flex: 1 0; overflow: auto">
|
2024-02-24 11:16:07 -05:00
|
|
|
<div
|
|
|
|
|
id="editPane"
|
|
|
|
|
class="vbox"
|
|
|
|
|
style="flex: 0 1 100%; display: none; overflow: auto"
|
|
|
|
|
>
|
2024-01-18 21:32:55 -05:00
|
|
|
<div class="navigation w3-bar" style="display: flex">
|
2024-02-24 11:16:07 -05:00
|
|
|
<button
|
|
|
|
|
class="w3-bar-item w3-button w3-blue"
|
|
|
|
|
id="closeEditor"
|
|
|
|
|
name="closeEditor"
|
|
|
|
|
accesskey="c"
|
|
|
|
|
onmouseover="set_access_key_title(event)"
|
|
|
|
|
data-tip="Close the editor"
|
|
|
|
|
>
|
|
|
|
|
Close
|
|
|
|
|
</button>
|
|
|
|
|
<button
|
|
|
|
|
class="w3-bar-item w3-button w3-blue"
|
|
|
|
|
id="save"
|
|
|
|
|
name="save"
|
|
|
|
|
accesskey="s"
|
|
|
|
|
onmouseover="set_access_key_title(event)"
|
|
|
|
|
data-tip="Save the app under the given path"
|
|
|
|
|
>
|
|
|
|
|
Save
|
|
|
|
|
</button>
|
|
|
|
|
<button
|
|
|
|
|
class="w3-bar-item w3-button w3-blue"
|
|
|
|
|
id="icon"
|
|
|
|
|
name="icon"
|
2024-02-25 22:31:31 -05:00
|
|
|
accesskey="j"
|
2024-02-24 11:16:07 -05:00
|
|
|
onmouseover="set_access_key_title(event)"
|
|
|
|
|
data-tip="Set an icon/emoji for the app"
|
|
|
|
|
>
|
|
|
|
|
📦
|
|
|
|
|
</button>
|
|
|
|
|
<button
|
|
|
|
|
class="w3-bar-item w3-button w3-blue"
|
|
|
|
|
id="export"
|
|
|
|
|
name="export"
|
|
|
|
|
accesskey="e"
|
|
|
|
|
onmouseover="set_access_key_title(event)"
|
|
|
|
|
data-tip="Export app to .zip file"
|
|
|
|
|
>
|
|
|
|
|
Export
|
|
|
|
|
</button>
|
|
|
|
|
<button
|
|
|
|
|
class="w3-bar-item w3-button w3-blue"
|
|
|
|
|
id="import"
|
|
|
|
|
name="import"
|
|
|
|
|
accesskey="i"
|
|
|
|
|
onmouseover="set_access_key_title(event)"
|
|
|
|
|
data-tip="Import app from .zip file"
|
|
|
|
|
>
|
|
|
|
|
Import
|
|
|
|
|
</button>
|
|
|
|
|
<button
|
|
|
|
|
class="w3-bar-item w3-button w3-blue"
|
|
|
|
|
id="pretty"
|
|
|
|
|
name="pretty"
|
|
|
|
|
accesskey="p"
|
|
|
|
|
onmouseover="set_access_key_title(event)"
|
|
|
|
|
data-tip="Clean up source formatting"
|
|
|
|
|
>
|
|
|
|
|
🧼
|
|
|
|
|
</button>
|
2024-02-25 22:31:31 -05:00
|
|
|
<button
|
|
|
|
|
class="w3-bar-item w3-button w3-blue"
|
|
|
|
|
id="whitespace"
|
|
|
|
|
name="whitespace"
|
|
|
|
|
accesskey="w"
|
|
|
|
|
onmouseover="set_access_key_title(event)"
|
|
|
|
|
data-tip="Toggle visible whitespace"
|
|
|
|
|
>
|
|
|
|
|
✨
|
|
|
|
|
</button>
|
2024-02-24 11:16:07 -05:00
|
|
|
<input
|
|
|
|
|
class="w3-bar-item w3-input w3-border w3-blue"
|
|
|
|
|
type="text"
|
|
|
|
|
id="name"
|
|
|
|
|
name="name"
|
|
|
|
|
style="flex: 1 1; min-width: 1em"
|
|
|
|
|
/>
|
|
|
|
|
<button
|
|
|
|
|
class="w3-bar-item w3-button w3-blue"
|
|
|
|
|
id="delete"
|
|
|
|
|
name="delete"
|
|
|
|
|
accesskey="d"
|
|
|
|
|
onmouseover="set_access_key_title(event)"
|
|
|
|
|
data-tip="Delete the app"
|
|
|
|
|
>
|
|
|
|
|
Delete
|
|
|
|
|
</button>
|
|
|
|
|
<button
|
|
|
|
|
class="w3-bar-item w3-button w3-blue"
|
|
|
|
|
id="trace_button"
|
|
|
|
|
accesskey="t"
|
|
|
|
|
onmouseover="set_access_key_title(event)"
|
|
|
|
|
data-tip="Open a performance trace for the server"
|
|
|
|
|
>
|
|
|
|
|
Trace
|
|
|
|
|
</button>
|
2021-01-02 13:10:00 -05:00
|
|
|
</div>
|
2024-01-23 22:11:49 -05:00
|
|
|
<div class="hbox" style="flex: 1 1; overflow: auto">
|
|
|
|
|
<div style="overflow: auto">
|
|
|
|
|
<tf-files-pane style="overflow: auto"></tf-files-pane>
|
2024-01-13 21:37:15 -05:00
|
|
|
</div>
|
2024-02-24 11:16:07 -05:00
|
|
|
<div style="flex: 1 1; overflow: auto">
|
2024-02-25 22:31:31 -05:00
|
|
|
<style id="editor_style"></style>
|
2024-02-24 11:16:07 -05:00
|
|
|
<div id="editor" style="width: 100%; height: 100%"></div>
|
|
|
|
|
</div>
|
2017-01-16 10:24:44 -05:00
|
|
|
</div>
|
|
|
|
|
</div>
|
2024-01-23 22:11:49 -05:00
|
|
|
<div id="viewPane" class="vbox" style="flex: 0 1 100%; overflow: auto">
|
2024-02-24 11:16:07 -05:00
|
|
|
<iframe
|
|
|
|
|
id="document"
|
|
|
|
|
sandbox="allow-forms allow-scripts allow-top-navigation allow-modals allow-popups allow-downloads"
|
|
|
|
|
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>
|
2024-02-24 11:16:07 -05:00
|
|
|
<script>
|
|
|
|
|
window.litDisableBundleWarning = true;
|
|
|
|
|
</script>
|
2023-01-28 17:44:45 -05:00
|
|
|
<script src="/static/client.js" type="module"></script>
|
2016-03-12 13:50:43 -05:00
|
|
|
</body>
|
|
|
|
|
</html>
|
