MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

terminal: enable copying to clipboard on selection on Linux as it has a separate selection buffer (IDEA-256926)

Browse Source 
GitOrigin-RevId: 53df6b3c7495cd351fb40b3b862c5b45534690f2
This commit is contained in:
Sergey Simonchik
2020-12-13 22:00:47 +00:00
committed by intellij-monorepo-bot
parent 409e00ee35
commit f96c2a2334
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt
+2 -1
View File
@@ -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<TerminalOptionsProvider
var myCloseSessionOnLogout: Boolean = true
var myReportMouse: Boolean = true
var mySoundBell: Boolean = true
var myCopyOnSelection: Boolean = false
var myCopyOnSelection: Boolean = SystemInfo.isLinux
var myPasteOnMiddleMouseButton: Boolean = true
var myOverrideIdeShortcuts: Boolean = true
var myShellIntegration: Boolean = true