--- /dev/null
+/**
+ * Pass back the values that that the user selected.
+ */
+function onOK() {
+ window['arguments'][0].out = {
+ extension: document.getElementById('new_ext').value,
+ do_save: document.getElementById('do_save').checked
+ };
+ return true;
+}