forked from cory/tildefriends
		
	
		
			
	
	
		
			28 lines
		
	
	
		
			1.6 KiB
		
	
	
	
		
			HTML
		
	
	
	
	
	
		
		
			
		
	
	
			28 lines
		
	
	
		
			1.6 KiB
		
	
	
	
		
			HTML
		
	
	
	
	
	
|  | <html> | ||
|  | 	<head> | ||
|  | 		<title>Web Terminal</title> | ||
|  | 		<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/codemirror.min.js"></script> | ||
|  | 		<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/addon/edit/trailingspace.min.js"></script> | ||
|  | 		<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/codemirror.min.css"></script> | ||
|  | 		<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/theme/base16-dark.min.css"></script> | ||
|  | 		<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/mode/javascript/javascript.min.js"></script> | ||
|  | 		<link type ="text/css" rel="stylesheet" href="/terminal/style.css"></link> | ||
|  | 		<meta name="viewport" content="width=device-width, initial-scale=1"> | ||
|  | 		<link type="image/png" rel="shortcut icon" href="/terminal/favicon.png"></link> | ||
|  | 	</head> | ||
|  | 	<body> | ||
|  | 		<div id="body"> | ||
|  | 			<div> | ||
|  | 				<input type="button" id="back" name="back" value="Back" onclick="back()"> | ||
|  | 				<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">Run after Saving</label> | ||
|  | 				<input type="button" id="revert" name="revert" value="Revert to Saved" onclick="revert()"> | ||
|  | 				<button onclick="addLicense()"><img src="/terminal/agplv3-88x31.png" width="34" height="12"> Add License Header</button> | ||
|  | 			</div> | ||
|  | 			<textarea id="editor" class="main">$(SOURCE)</textarea> | ||
|  | 			<script src="/terminal/editor.js"></script> | ||
|  | 		</div> | ||
|  | 	</body> | ||
|  | </html> |