From 6ed057089b3275be722487f0319e9d675c110afd Mon Sep 17 00:00:00 2001
From: Cory McWilliams <cory@unprompted.com>
Date: Thu, 12 Jan 2023 00:57:56 +0000
Subject: [PATCH] Remove the pull/push/revert buttons that I haven't used in
 ages.

git-svn-id: https://www.unprompted.com/svn/projects/tildefriends/trunk@4118 ed5197a5-7fde-0310-b194-c3ffbd925b24
---
 core/client.js  | 19 -------------------
 core/index.html |  3 ---
 2 files changed, 22 deletions(-)

diff --git a/core/client.js b/core/client.js
index 52d53390..c24e2bde 100644
--- a/core/client.js
+++ b/core/client.js
@@ -11,7 +11,6 @@ let gEditor;
 let gSplit;
 let gGraphs = {};
 let gTimeSeries = {};
-let gParentApp;
 let gOriginalInput;
 
 let kErrorColor = "#dc322f";
@@ -251,8 +250,6 @@ function explodePath() {
 
 function save(save_to) {
 	document.getElementById("save").disabled = true;
-	document.getElementById("push_to_parent").disabled = true;
-	document.getElementById("pull_from_parent").disabled = true;
 	if (gCurrentFile) {
 		gFiles[gCurrentFile].doc = gEditor.getDoc();
 	}
@@ -323,8 +320,6 @@ function save(save_to) {
 		alert(error);
 	}).finally(function() {
 		document.getElementById("save").disabled = false;
-		document.getElementById("push_to_parent").disabled = false;
-		document.getElementById("pull_from_parent").disabled = false;
 		Object.values(gFiles).forEach(function(file) {
 			file.generation = file.doc.changeGeneration();
 		});
@@ -348,16 +343,6 @@ function deleteApp() {
 	}
 }
 
-function pullFromParent() {
-	load(gParentApp ? gParentApp.path : null).then(x => save()).catch(function(error) {
-		alert(error)
-	});
-}
-
-function pushToParent() {
-	save(gParentApp ? gParentApp.path : null);
-}
-
 function url() {
 	let hash = window.location.href.indexOf('#');
 	let question = window.location.href.indexOf('?');
@@ -535,11 +520,7 @@ function _receive_websocket_message(message) {
 	if (message && message.action == "session") {
 		setStatusMessage("🟢 Executing...", kStatusColor);
 		gCredentials = message.credentials;
-		gParentApp = message.parentApp;
 		updateLogin();
-		let parent_enabled = message.parentApp;
-		document.getElementById('push_to_parent').style.display = parent_enabled ? 'inline-block' : 'none';
-		document.getElementById('pull_from_parent').style.display = parent_enabled ? 'inline-block' : 'none';
 	} else if (message && message.action == 'permissions') {
 		gPermissions = message.permissions;
 		let permissions = document.getElementById('permissions_settings');
diff --git a/core/index.html b/core/index.html
index 43d5236b..8815c06c 100644
--- a/core/index.html
+++ b/core/index.html
@@ -31,9 +31,6 @@
 					<input type="button" id="closeEditor" name="closeEditor" value="Close" onclick="closeEditor()">
 					<input type="button" id="save" name="save" value="Save" onclick="save()">
 					<input type="text" id="name" name="name" style="flex: 1 1; min-width: 1em"></input>
-					<input type="button" id="push_to_parent" value="Push to Parent" onclick="pushToParent()">
-					<input type="button" id="pull_from_parent" value="Pull from Parent" onclick="pullFromParent()">
-					<input type="button" id="revert" name="revert" value="Revert" onclick="revert()">
 					<input type="button" id="delete" name="delete" value="Delete" onclick="deleteApp()">
 					<input type="button" onclick="event.preventDefault(); trace()" value="Trace">
 					<input type="button" onclick="event.preventDefault(); toggleStats()" value="Stats">