Function updateFileType

js/main.js:1217–1228

(fileType)

	}

	const updateFileType = function(fileType) {
		fileInfo.fileType = fileType;
		updatePreview();

		if (fileType == "png") {
			document.getElementById("PNG").className = "activated";
			document.getElementById("SVG").className = "";
		} else if (fileType == "svg") {
			document.getElementById("PNG").className = "";
			document.getElementById("SVG").className = "activated";
		}
	}
	
	const resetPadding = function(mode, params) {
		const panel = post.panels[currentlySelectedPanelIndex];