(cm, newVal)
| 707 | }", "vimMode"); |
| 708 | (function() { |
| 709 | function closeNotification(cm, newVal) { |
| 710 | if (cm.state.currentNotificationClose) |
| 711 | cm.state.currentNotificationClose(); |
| 712 | cm.state.currentNotificationClose = newVal; |
| 713 | } |
| 714 | |
| 715 | CodeMirror.defineExtension("openDialog", function(template, callback, options) { |
| 716 | if (this.virtualSelectionMode()) return; |