<!DOCTYPE html> <html> <head> <title>Tilde Friends</title> <link type="text/css" rel="stylesheet" href="/terminal/style.css"> <link type="image/png" rel="shortcut icon" href="/terminal/favicon.png"> <meta name="viewport" content="width=device-width, initial-scale=1"> <!--HEAD--> </head> <body style="display: flex; flex-flow: column"> <div class="navigation"> <span>😎</span> <span id="title">Tilde Friends</span> <a href="/">home</a> <a href="#" onclick="event.preventDefault(); edit()">edit</a> <a href="$(VIEW_SOURCE)">view source</a> <a href="/~cory/about">about</a> <span id="status"></span> <span id="update">update available! <a href="">refresh</a> to update</span> <span id="login"></span> </div> <div id="content" class="hbox" style="flex: 1 1; width: 100%"> <div id="editPane" style="flex: 0 0 50%; display: none; flex-flow: column; overflow: auto"> <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()"> <input type="button" id="saveAs" name="saveAs" value="Save As" onclick="saveAs()"> <input type="checkbox" id="run" name="run" checked><label for="run">Restart after save</label> <input type="button" id="revert" name="revert" value="Revert to Saved" onclick="revert()"> </div> <textarea id="editor" class="main"></textarea> </div> <div class="vbox" style="flex: 1 0 50%; overflow: auto"> <div id="terminals" class="vbox"><div id="terminal_" class="terminal" style="flex: 1 1"></div></div> <div class="input"> <span id="prompt">></span> <input type='text' id='input'> </div> </div> </div> <script src="/terminal/client.js"></script> </body> </html>