diff --git a/demo/autoresize.html b/demo/autoresize.html index 2b64d96a..73a87599 100644 --- a/demo/autoresize.html +++ b/demo/autoresize.html @@ -26,28 +26,32 @@
- + diff --git a/lib/ace/mouse/mouse_handler.js b/lib/ace/mouse/mouse_handler.js index f4b46c34..9897290c 100644 --- a/lib/ace/mouse/mouse_handler.js +++ b/lib/ace/mouse/mouse_handler.js @@ -47,7 +47,11 @@ var MouseHandler = function(editor) { new DefaultGutterHandler(this); new DragdropHandler(this); - var focusEditor = function(e) { editor.focus() }; + var focusEditor = function(e) { + if (!editor.isFocused() && editor.textInput) + editor.textInput.onContextMenu(e); + editor.focus() + }; var mouseTarget = editor.renderer.getMouseEventTarget(); event.addListener(mouseTarget, "click", this.onMouseEvent.bind(this, "click"));