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" >
2024-01-18 21:32:55 -05:00
< link type = "text/css" rel = "stylesheet" href = "/static/w3.css" >
2021-01-02 13:10:00 -05:00
< 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" >
2024-01-03 18:52:05 -05: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 13:50:43 -05:00
< / head >
2024-01-13 21:37:15 -05:00
< body style = "display: flex; flex-flow: column; width: 100vw; height: 100vh; position: absolute; max-width: 100%; max-height: 100%" >
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" >
< 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" >
< 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 18:56:36 -05: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 13:53:21 -05: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-18 21:32:55 -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" > < / 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 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-01-23 22:11:49 -05:00
< div style = "flex: 1 1; overflow: auto" > < 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" >
2023-09-04 13:44:05 -04: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 >
2023-05-14 15:31:45 -04: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 >
