From f96c2a233443fd8878eaea4e54686a62d1f26629 Mon Sep 17 00:00:00 2001 From: Sergey Simonchik Date: Mon, 14 Dec 2020 00:51:10 +0300 Subject: [PATCH] terminal: enable copying to clipboard on selection on Linux as it has a separate selection buffer (IDEA-256926) GitOrigin-RevId: 53df6b3c7495cd351fb40b3b862c5b45534690f2 --- .../org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt b/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt index bb6dd8d24ef4..163faeb42fb1 100644 --- a/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt +++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt @@ -6,6 +6,7 @@ import com.intellij.openapi.application.ApplicationManager import com.intellij.openapi.components.PersistentStateComponent import com.intellij.openapi.components.State import com.intellij.openapi.components.Storage +import com.intellij.openapi.util.SystemInfo import com.intellij.util.xmlb.annotations.Property import org.jetbrains.annotations.Nls @@ -63,7 +64,7 @@ class TerminalOptionsProvider : PersistentStateComponent