| 
									
										
										
										
											2016-04-30 18:28:33 +00:00
										 |  |  | <!DOCTYPE html> | 
					
						
							| 
									
										
										
										
											2016-03-12 18:50:43 +00:00
										 |  |  | <html> | 
					
						
							|  |  |  | 	<head> | 
					
						
							|  |  |  | 		<title>Tilde Friends</title> | 
					
						
							| 
									
										
										
										
											2016-05-02 12:31:51 +00:00
										 |  |  | 		<link type="text/css" rel="stylesheet" href="/terminal/style.css"> | 
					
						
							|  |  |  | 		<link type="image/png" rel="shortcut icon" href="/terminal/favicon.png"> | 
					
						
							| 
									
										
										
										
											2016-03-12 18:50:43 +00:00
										 |  |  | 		<meta name="viewport" content="width=device-width, initial-scale=1"> | 
					
						
							| 
									
										
										
										
											2016-04-03 19:31:03 +00:00
										 |  |  | 		<!--HEAD--> | 
					
						
							| 
									
										
										
										
											2016-03-12 18:50:43 +00:00
										 |  |  | 	</head> | 
					
						
							| 
									
										
										
										
											2016-04-30 18:28:33 +00:00
										 |  |  | 	<body style="display: flex; flex-flow: column"> | 
					
						
							|  |  |  | 		<div class="navigation"> | 
					
						
							| 
									
										
										
										
											2016-12-22 17:38:21 +00:00
										 |  |  | 			<span>😎</span> | 
					
						
							| 
									
										
										
										
											2016-04-30 18:28:33 +00:00
										 |  |  | 			<span id="title">Tilde Friends</span> | 
					
						
							|  |  |  | 			<a href="/">home</a> | 
					
						
							| 
									
										
										
										
											2017-01-16 15:24:44 +00:00
										 |  |  | 			<a href="#" onclick="event.preventDefault(); edit()">edit</a> | 
					
						
							| 
									
										
										
										
											2016-04-30 18:28:33 +00:00
										 |  |  | 			<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> | 
					
						
							| 
									
										
										
										
											2016-03-12 18:50:43 +00:00
										 |  |  | 		</div> | 
					
						
							| 
									
										
										
										
											2017-01-16 15:24:44 +00:00
										 |  |  | 		<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> | 
					
						
							| 
									
										
										
										
											2016-04-30 18:28:33 +00:00
										 |  |  | 		</div> | 
					
						
							|  |  |  | 		<script src="/terminal/client.js"></script> | 
					
						
							| 
									
										
										
										
											2016-03-12 18:50:43 +00:00
										 |  |  | 	</body> | 
					
						
							|  |  |  | </html> |