From f060500316ead965d23413992dbf9ec1f65981df Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Thu, 28 Nov 2013 15:25:27 +0100
Subject: [PATCH] Mouse selection should always work in Terminal (IDEA-117210).

---
 .../terminal/JBTerminalSystemSettingsProvider.java    | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
index 45e9403636ff..94479c94e106 100644
--- a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
+++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
@@ -35,7 +35,7 @@ import java.util.List;
  */
 class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvider implements Disposable {
   private Set<TerminalSettingsListener> myListeners = Sets.newHashSet();
-  
+
   private final MyColorSchemeDelegate myColorScheme;
 
   JBTerminalSystemSettingsProvider() {
@@ -151,7 +151,7 @@ class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvider imp
   public String getFontName() {
     List<String> fonts = myColorScheme.getConsoleFontPreferences().getEffectiveFontFamilies();
 
-    if (fonts.size()>0) {
+    if (fonts.size() > 0) {
       return fonts.get(0);
     }
 
@@ -206,6 +206,11 @@ class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvider imp
     return new MyColorSchemeDelegate(customGlobalScheme);
   }
 
+  @Override
+  public boolean allowSelectionOnMouseReporting() {
+    return true;
+  }
+
   @Override
   public void dispose() {
 
@@ -306,7 +311,7 @@ class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvider imp
 
     @Override
     public void setFontPreferences(@NotNull FontPreferences preferences) {
-      throw new IllegalStateException();      
+      throw new IllegalStateException();
     }
 
     @Override