eventually re-enable format page button when dropping file

extension/ui/bg/ui-editor.js

@@ -273,9 +273,13 @@ singlefile.extension.ui.bg.editor = (() => {
 			tabData.options.openEditor = false;
 			singlefile.extension.core.content.download.downloadPage(pageData, tabData.options);
 		}
+		if (message.method == "enableFormatPage") {
+			tabData.options.disableFormatPage = false;
+			formatPageButton.hidden = false;
+		}
 		if (message.method == "disableFormatPage") {
 			tabData.options.disableFormatPage = true;
-			formatPageButton.remove();
+			formatPageButton.hidden = true;
 		}
 		if (message.method == "onUpdate") {
 			tabData.docSaved = message.saved;

extension/ui/content/content-ui-editor-web.js

@@ -952,7 +952,9 @@ table {
 			deserializeShadowRoots(document);
 			const iconElement = document.querySelector("link[rel*=icon]");
 			window.parent.postMessage(JSON.stringify({ "method": "setMetadata", title: document.title, icon: iconElement && iconElement.href, filename }), "*");
-			if (!isProbablyReaderable(document)) {
+			if (isProbablyReaderable(document)) {
+				window.parent.postMessage(JSON.stringify({ "method": "enableFormatPage" }), "*");
+			} else {
 				window.parent.postMessage(JSON.stringify({ "method": "disableFormatPage" }), "*");
 			}
 			document.querySelectorAll(NOTE_TAGNAME).forEach(containerElement => attachNoteListeners(containerElement, true));