1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980 |
- // Open simple dialogs on top of an editor. Relies on dialog.css.
- (function() {
- function dialogDiv(cm, template, bottom) {
- var wrap = cm.getWrapperElement();
- var dialog;
- dialog = wrap.appendChild(document.createElement("div"));
- if (bottom) {
- dialog.className = "CodeMirror-dialog CodeMirror-dialog-bottom";
- } else {
- dialog.className = "CodeMirror-dialog CodeMirror-dialog-top";
- }
- dialog.innerHTML = template;
- return dialog;
- }
- CodeMirror.defineExtension("openDialog", function(template, callback, options) {
- var dialog = dialogDiv(this, template, options && options.bottom);
- var closed = false, me = this;
- function close() {
- if (closed) return;
- closed = true;
- dialog.parentNode.removeChild(dialog);
- }
- var inp = dialog.getElementsByTagName("input")[0], button;
- if (inp) {
- CodeMirror.on(inp, "keydown", function(e) {
- if (options && options.onKeyDown && options.onKeyDown(e, inp.value, close)) { return; }
- if (e.keyCode == 13 || e.keyCode == 27) {
- CodeMirror.e_stop(e);
- close();
- me.focus();
- if (e.keyCode == 13) callback(inp.value);
- }
- });
- if (options && options.onKeyUp) {
- CodeMirror.on(inp, "keyup", function(e) {options.onKeyUp(e, inp.value, close);});
- }
- if (options && options.value) inp.value = options.value;
- inp.focus();
- CodeMirror.on(inp, "blur", close);
- } else if (button = dialog.getElementsByTagName("button")[0]) {
- CodeMirror.on(button, "click", function() {
- close();
- me.focus();
- });
- button.focus();
- CodeMirror.on(button, "blur", close);
- }
- return close;
- });
- CodeMirror.defineExtension("openConfirm", function(template, callbacks, options) {
- var dialog = dialogDiv(this, template, options && options.bottom);
- var buttons = dialog.getElementsByTagName("button");
- var closed = false, me = this, blurring = 1;
- function close() {
- if (closed) return;
- closed = true;
- dialog.parentNode.removeChild(dialog);
- me.focus();
- }
- buttons[0].focus();
- for (var i = 0; i < buttons.length; ++i) {
- var b = buttons[i];
- (function(callback) {
- CodeMirror.on(b, "click", function(e) {
- CodeMirror.e_preventDefault(e);
- close();
- if (callback) callback(me);
- });
- })(callbacks[i]);
- CodeMirror.on(b, "blur", function() {
- --blurring;
- setTimeout(function() { if (blurring <= 0) close(); }, 200);
- });
- CodeMirror.on(b, "focus", function() { ++blurring; });
- }
- });
- })();
|