From 2d5ef1f22066777ac0e11ba63f7ed6c107cd53a4 Mon Sep 17 00:00:00 2001 From: nightwing Date: Sun, 3 Feb 2013 17:48:50 +0400 Subject: [PATCH] fix focus handling when clicking on foldwidget --- lib/ace/mouse/default_gutter_handler.js | 2 +- lib/ace/mouse/fold_handler.js | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/lib/ace/mouse/default_gutter_handler.js b/lib/ace/mouse/default_gutter_handler.js index ee8f03af..fc971da6 100644 --- a/lib/ace/mouse/default_gutter_handler.js +++ b/lib/ace/mouse/default_gutter_handler.js @@ -42,7 +42,7 @@ function GutterHandler(mouseHandler) { return; var gutterRegion = gutter.getRegion(e); - if (gutterRegion) + if (gutterRegion == "foldWidgets") return; var row = e.getDocumentPosition().row; diff --git a/lib/ace/mouse/fold_handler.js b/lib/ace/mouse/fold_handler.js index 058107e0..315a1d3b 100644 --- a/lib/ace/mouse/fold_handler.js +++ b/lib/ace/mouse/fold_handler.js @@ -50,6 +50,8 @@ function FoldHandler(editor) { }); editor.on("guttermousedown", function(e) { + if (!editor.isFocused()) + return; var gutterRegion = editor.renderer.$gutterLayer.getRegion(e); if (gutterRegion == "foldWidgets") {