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 myListeners = Sets.newHashSet(); - + private final MyColorSchemeDelegate myColorScheme; JBTerminalSystemSettingsProvider() { @@ -151,7 +151,7 @@ class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvider imp public String getFontName() { List 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