se,
					lineNumbers: true,
					scrollbarStyle: "simple",
        		});

				editor.on("change",function(){
					try {
						var result = {
							id: "pasteboardHUD",
							params: {
								type: "update",
								value: editor.getValue(),
							},
						}
						postMessage(result);
					} catch(err) {
						alertErrorMessage(err);
					}
				});

        		function setCode(value){
        			if (editor != null) {
	        			editor.setValue(atob(value));
	        		}
        		}

				function loadFrom