| 
									
										
										
										
											2024-02-24 11:16:07 -05:00
										 |  |  | <!doctype html> | 
					
						
							| 
									
										
										
										
											2016-03-12 18:50:43 +00:00
										 |  |  | <html> | 
					
						
							|  |  |  | 	<head> | 
					
						
							|  |  |  | 		<title>Tilde Friends</title> | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -05:00
										 |  |  | 		<link type="text/css" rel="stylesheet" href="/static/style.css" /> | 
					
						
							|  |  |  | 		<link type="text/css" rel="stylesheet" href="/static/w3.css" /> | 
					
						
							| 
									
										
										
										
											2024-06-20 20:05:00 -04:00
										 |  |  | 		<link type="image/svg+xml" rel="icon" href="/static/tildefriends.svg" /> | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -05: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) { | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -05:00
										 |  |  | 					event.srcElement.title = `${event.srcElement.dataset.tip} [${(event.srcElement.accessKeyLabel || '⌨️' + event.srcElement.accessKey).toUpperCase()}]`; | 
					
						
							| 
									
										
										
										
											2024-01-03 23:52:05 +00:00
										 |  |  | 				} | 
					
						
							|  |  |  | 			} | 
					
						
							|  |  |  | 		</script> | 
					
						
							| 
									
										
										
										
											2016-03-12 18:50:43 +00:00
										 |  |  | 	</head> | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -05: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"> | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -05:00
										 |  |  | 			<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"> | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -05:00
										 |  |  | 					<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" | 
					
						
							| 
									
										
										
										
											2024-02-25 22:31:31 -05:00
										 |  |  | 						accesskey="j" | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -05:00
										 |  |  | 						onmouseover="set_access_key_title(event)" | 
					
						
							|  |  |  | 						data-tip="Set an icon/emoji for the app" | 
					
						
							|  |  |  | 					> | 
					
						
							|  |  |  | 						📦 | 
					
						
							|  |  |  | 					</button> | 
					
						
							|  |  |  | 					<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> | 
					
						
							|  |  |  | 					<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-02-25 22:31:31 -05:00
										 |  |  | 					<button | 
					
						
							|  |  |  | 						class="w3-bar-item w3-button w3-blue" | 
					
						
							|  |  |  | 						id="whitespace" | 
					
						
							|  |  |  | 						name="whitespace" | 
					
						
							|  |  |  | 						accesskey="w" | 
					
						
							|  |  |  | 						onmouseover="set_access_key_title(event)" | 
					
						
							|  |  |  | 						data-tip="Toggle visible whitespace" | 
					
						
							|  |  |  | 					> | 
					
						
							|  |  |  | 						✨ | 
					
						
							|  |  |  | 					</button> | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -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" | 
					
						
							|  |  |  | 					/> | 
					
						
							|  |  |  | 					<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-02-24 11:16:07 -05:00
										 |  |  | 					<div style="flex: 1 1; overflow: auto"> | 
					
						
							| 
									
										
										
										
											2024-02-25 22:31:31 -05:00
										 |  |  | 						<style id="editor_style"></style> | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -05:00
										 |  |  | 						<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"> | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -05: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> | 
					
						
							| 
									
										
										
										
											2024-02-24 11:16:07 -05: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> |