try to fix the shitty select all inserthtml lag

index.html

@@ -3636,6 +3636,17 @@
 				window.clipboardData
 				? window.clipboardData.getData('Text')
 				: '';
+
+				let elem = document.getElementById("gametext")
+				let selection = window.getSelection();
+				let fullySelected = (elem.innerText!="" && selection.toString() === elem.innerText);
+				if(fullySelected)
+				{
+					document.execCommand('selectAll', false, null);
+  					document.execCommand('insertText', false, "");
+					elem.innerHTML = "";
+				}
+
 				text = escapeHtml(text);
 				text = text.replace(/\r?\n/g, '<br>');
 				document.execCommand("insertHTML", false, text);