From 6d95234d4c13c3854dbb5d783fb9dcaa21a775ea Mon Sep 17 00:00:00 2001 From: Sergey Simonchik Date: Thu, 11 Jul 2019 20:24:04 +0300 Subject: [PATCH] terminal: link should not hide the caret and/or text selection (IDEA-217705) https://github.com/JetBrains/jediterm/commit/9ed9a1110e72f511514db2ba2b6cc00dfcc6b9e4 Additionally, link is rendered correctly if text arrives fast: https://github.com/JetBrains/jediterm/commit/f2f17a524794b66ad9ff8d7ac451f98e9084e137 Default history buffer size is increased up to 5000: https://github.com/JetBrains/jediterm/commit/8c1340dba6c1c9ab4b4b645aa9f363fb14d4cab2 GitOrigin-RevId: 60bb90978d9a7897013efa662e308f6f487f2d38 --- .idea/libraries/jediterm_pty.xml | 6 +++--- .../intellij/build/CommunityLibraryLicenses.groovy | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.idea/libraries/jediterm_pty.xml b/.idea/libraries/jediterm_pty.xml index b416540cc445..feef9e5add5d 100644 --- a/.idea/libraries/jediterm_pty.xml +++ b/.idea/libraries/jediterm_pty.xml @@ -1,12 +1,12 @@ - + - + - + \ No newline at end of file diff --git a/platform/build-scripts/groovy/org/jetbrains/intellij/build/CommunityLibraryLicenses.groovy b/platform/build-scripts/groovy/org/jetbrains/intellij/build/CommunityLibraryLicenses.groovy index 51255bd48381..ac2a17f8d94d 100644 --- a/platform/build-scripts/groovy/org/jetbrains/intellij/build/CommunityLibraryLicenses.groovy +++ b/platform/build-scripts/groovy/org/jetbrains/intellij/build/CommunityLibraryLicenses.groovy @@ -297,7 +297,7 @@ class CommunityLibraryLicenses { url: "http://www.jcip.net", licenseUrl: "http://creativecommons.org/licenses/by/2.5"), new LibraryLicense(name: "JDOM", version: "1.1 (with patches by JetBrains)", license: "modified Apache", url: "http://www.jdom.org/", licenseUrl: "http://www.jdom.org/docs/faq.html#a0030"), - new LibraryLicense(name: "JediTerm", libraryName: "jediterm-pty", version: "2.18", license: "LGPL 3", + new LibraryLicense(name: "JediTerm", libraryName: "jediterm-pty", version: "2.19", license: "LGPL 3", url: "https://github.com/JetBrains/jediterm", licenseUrl: "https://github.com/JetBrains/jediterm/blob/master/LICENSE-LGPLv3.txt"), new LibraryLicense(name: "JetBrains Annotations", libraryName: "jetbrains-annotations", version: "17.0.0", license: "Apache 2.0",