) {
				  tx_text = tx_text + "\n" + get_editor_value()
              } else if (txt.search(/^\.config save /) != -1) {
				  tx_text = tx_text + "\n" + get_editor_value()
              } else if (txt.search(/^\.runeditor /) != -1) {
				  tx_text = tx_text + "\n" + get_editor_value()
              } else if (txt.search(/^\.runeditor$/) != -1) {
				  tx_text = tx_text + "\n" + get_editor_value()
              }
              var currentdate = new Date();
              tx_datetime = "[" + currentdate.getFul