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: link should not hide the caret and/or text selection (IDEA-217705)

Browse Source 
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
This commit is contained in:
Sergey Simonchik
2019-07-11 21:02:21 +03:00
committed by intellij-monorepo-bot
parent fff90af57b
commit 6d95234d4c
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.idea/libraries/jediterm_pty.xml
Generated
+3 -3
View File
@@ -1,12 +1,12 @@
<component name="libraryTable">
<library name="jediterm-pty" type="repository">
<properties include-transitive-deps="false" maven-id="org.jetbrains.jediterm:jediterm-pty:2.18" />
<properties include-transitive-deps="false" maven-id="org.jetbrains.jediterm:jediterm-pty:2.19" />
<CLASSES>
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-pty/2.18/jediterm-pty-2.18.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-pty/2.19/jediterm-pty-2.19.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES>
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-pty/2.18/jediterm-pty-2.18-sources.jar!/" />
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-pty/2.19/jediterm-pty-2.19-sources.jar!/" />
</SOURCES>
</library>
</component>
platform/build-scripts/groovy/org/jetbrains/intellij/build/CommunityLibraryLicenses.groovy
+1 -1
View File
@@ -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",