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] IJPL-245227 Test: Add tests for terminal mouse handling

Browse Source 
(cherry picked from commit 9d7f07667f49a8ff2e1d45e27c63f1c814af8b5e)

IJ-CR-212254

GitOrigin-RevId: 6df5eec5d4ee6da5cbf44eb7b9af6ec52cdd4496
This commit is contained in:
Uladzislau Trybukhouski
2026-07-16 14:55:08 +00:00
committed by intellij-monorepo-bot
parent 25223b681c
commit facf55168e
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
+4
View File
@@ -15,6 +15,7 @@ import com.jediterm.terminal.ui.TerminalActionPresentation;
import org.jetbrains.annotations.NotNull;
import java.awt.Font;
import java.awt.GraphicsEnvironment;
import java.util.concurrent.TimeUnit;
public final class JBTerminalSystemSettingsProvider extends JBTerminalSystemSettingsProviderBase {
@@ -71,6 +72,9 @@ public final class JBTerminalSystemSettingsProvider extends JBTerminalSystemSett
@Override
public boolean copyOnSelect() {
if (GraphicsEnvironment.isHeadless()) {
return false;
}
return (CopyPasteManager.getInstance().isSystemSelectionSupported()
|| TerminalOptionsProvider.getInstance().getCopyOnSelection())
&& Registry.is("editor.caret.update.primary.selection");