From d3aa5f8d5cc02f8b0b5a7ef74aa3ff9c4290aa17 Mon Sep 17 00:00:00 2001 From: nightwing Date: Thu, 24 Nov 2016 23:07:03 +0000 Subject: [PATCH] fix +14891 Disable terminal popup on double click --- plugins/c9.ide.terminal/aceterm/hover_link.js | 3 ++- plugins/c9.ide.terminal/link_handler.js | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/plugins/c9.ide.terminal/aceterm/hover_link.js b/plugins/c9.ide.terminal/aceterm/hover_link.js index b46c5768..7481de22 100644 --- a/plugins/c9.ide.terminal/aceterm/hover_link.js +++ b/plugins/c9.ide.terminal/aceterm/hover_link.js @@ -102,7 +102,8 @@ var HoverLink = function(editor) { this.onClick = function(e) { if (!this.editor.isFocused()) return; - + if (e.detail != 1) + return; if (this.link && this.isOpen) { // && this.link.isFocused if (this.editor.selection.isEmpty()) { this.editor.selection.setSelectionRange(this.range); diff --git a/plugins/c9.ide.terminal/link_handler.js b/plugins/c9.ide.terminal/link_handler.js index c3aa6714..64f694e8 100644 --- a/plugins/c9.ide.terminal/link_handler.js +++ b/plugins/c9.ide.terminal/link_handler.js @@ -169,7 +169,7 @@ define(function(require, exports, module) { menu = menuPath; } - menu.show(e.x, e.y); + menu.show(e.x, e.y, "context"); } function openLink(href, inPreview){