Pasteboard(){
					if (editor != null) {
						try {
							var result = {
								id: "pasteboardHUD",
								params: {
									type: "loadFromPasteboard",
								},
							}
							postMessage(result);
						} catch(err) {
							alertErrorMessage(err);
						}
					}
				}

				function sendToPasteboard(){
					if (editor != null) {
						try {
							var result = {
								id: "pasteboardHUD",
								params: {
									type: "sendToPasteboard",
									value: editor.getValue(),
								},
							}
