2016-04-30 18:28:33 +00:00
<!DOCTYPE html>
2016-03-12 18:50:43 +00:00
< html >
< head >
< title > Tilde Friends< / title >
2021-01-02 18:10:00 +00:00
< link type = "text/css" rel = "stylesheet" href = "/static/style.css" >
2024-01-19 02:32:55 +00:00
< link type = "text/css" rel = "stylesheet" href = "/static/w3.css" >
2021-01-02 18:10:00 +00:00
< link type = "image/png" rel = "shortcut icon" href = "/static/favicon.png" >
2016-03-12 18:50:43 +00:00
< meta name = "viewport" content = "width=device-width, initial-scale=1" >
2024-01-03 23:52:05 +00:00
< script >
function set_access_key_title(event) {
if (!event.srcElement.title) {
event.srcElement.title = `${event.srcElement.dataset.tip} [${(event.srcElement.accessKeyLabel || ('⌨️' + event.srcElement.accessKey)).toUpperCase()}]`;
}
}
< / script >
2016-03-12 18:50:43 +00:00
< / head >
2024-01-14 02:37:15 +00:00
< body style = "display: flex; flex-flow: column; width: 100vw; height: 100vh; position: absolute; max-width: 100%; max-height: 100%" >
2023-04-29 18:23:08 +00:00
< tf-navigation > < / tf-navigation >
2024-01-24 03:11:49 +00:00
< div id = "content" class = "hbox" style = "flex: 1 0; overflow: auto" >
< div id = "editPane" class = "vbox" style = "flex: 0 1 100%; display: none; overflow: auto" >
2024-01-19 02:32:55 +00:00
< div class = "navigation w3-bar" style = "display: flex" >
< 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" accesskey = "i" onmouseover = "set_access_key_title(event)" data-tip = "Set an icon/emoji for the app" > 📦< / button >
2024-01-21 23:56:36 +00:00
< 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 >
2024-02-17 18:53:21 +00:00
< 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-01-19 02:32:55 +00: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" > < / input >
< 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 18:10:00 +00:00
< / div >
2024-01-24 03:11:49 +00: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-14 02:37:15 +00:00
< / div >
2024-01-24 03:11:49 +00:00
< div style = "flex: 1 1; overflow: auto" > < div id = "editor" style = "width: 100%; height: 100%" > < / div > < / div >
2017-01-16 15:24:44 +00:00
< / div >
< / div >
2024-01-24 03:11:49 +00:00
< div id = "viewPane" class = "vbox" style = "flex: 0 1 100%; overflow: auto" >
2023-09-04 17:44:05 +00: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 15:24:44 +00:00
< / div >
2016-04-30 18:28:33 +00:00
< / div >
2023-05-14 19:31:45 +00:00
< script > window . litDisableBundleWarning = true ; < / script >
2023-01-28 22:44:45 +00:00
< script src = "/static/client.js" type = "module" > < / script >
2016-03-12 18:50:43 +00:00
< / body >
< / html >
