mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[terminal] IJPL-232180 Update JediTerm library
It contains a fix for the resizing issue. GitOrigin-RevId: 528f7758eefbe8de9b80ec21f08c2a74635d9e79
This commit is contained in:
committed by
intellij-monorepo-bot
parent
4318229d12
commit
ccbb31f9c0
Generated
+5
-5
@@ -1,18 +1,18 @@
|
||||
<component name="libraryTable">
|
||||
<library name="jediterm-core" type="repository">
|
||||
<properties include-transitive-deps="false" maven-id="org.jetbrains.jediterm:jediterm-core:3.62">
|
||||
<properties include-transitive-deps="false" maven-id="org.jetbrains.jediterm:jediterm-core:3.63">
|
||||
<verification>
|
||||
<artifact url="file://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-core/3.62/jediterm-core-3.62.jar">
|
||||
<sha256sum>2c7eb9f888ed6c0e247d9eca44931c286cd6bd4eb6cc5508ea257d2f6e3beed5</sha256sum>
|
||||
<artifact url="file://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-core/3.63/jediterm-core-3.63.jar">
|
||||
<sha256sum>1cd72f0d22d874f22137527e227d846bbd6fb71d814af8900dba1f638b5c7341</sha256sum>
|
||||
</artifact>
|
||||
</verification>
|
||||
</properties>
|
||||
<CLASSES>
|
||||
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-core/3.62/jediterm-core-3.62.jar!/" />
|
||||
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-core/3.63/jediterm-core-3.63.jar!/" />
|
||||
</CLASSES>
|
||||
<JAVADOC />
|
||||
<SOURCES>
|
||||
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-core/3.62/jediterm-core-3.62-sources.jar!/" />
|
||||
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-core/3.63/jediterm-core-3.63-sources.jar!/" />
|
||||
</SOURCES>
|
||||
</library>
|
||||
</component>
|
||||
+10
-10
@@ -7364,17 +7364,17 @@ jvm_import(
|
||||
)
|
||||
|
||||
copy_file(
|
||||
name = "org.jetbrains.jediterm/jediterm-core-3.62.jar_copy",
|
||||
src = "@org_jetbrains_jediterm-jediterm-core-3_62_http//file",
|
||||
out = "org.jetbrains.jediterm/jediterm-core-3.62.jar",
|
||||
name = "org.jetbrains.jediterm/jediterm-core-3.63.jar_copy",
|
||||
src = "@org_jetbrains_jediterm-jediterm-core-3_63_http//file",
|
||||
out = "org.jetbrains.jediterm/jediterm-core-3.63.jar",
|
||||
allow_symlink = True,
|
||||
visibility = ["//visibility:public"]
|
||||
)
|
||||
|
||||
jvm_import(
|
||||
name = "jediterm-core",
|
||||
jar = "@org_jetbrains_jediterm-jediterm-core-3_62_http//file",
|
||||
source_jar = "@org_jetbrains_jediterm-jediterm-core-3_62-sources_http//file",
|
||||
jar = "@org_jetbrains_jediterm-jediterm-core-3_63_http//file",
|
||||
source_jar = "@org_jetbrains_jediterm-jediterm-core-3_63-sources_http//file",
|
||||
visibility = ["//visibility:public"]
|
||||
)
|
||||
|
||||
@@ -11477,17 +11477,17 @@ jvm_import(
|
||||
)
|
||||
|
||||
copy_file(
|
||||
name = "org.jetbrains.jediterm/jediterm-ui-3.62.jar_copy",
|
||||
src = "@org_jetbrains_jediterm-jediterm-ui-3_62_http//file",
|
||||
out = "org.jetbrains.jediterm/jediterm-ui-3.62.jar",
|
||||
name = "org.jetbrains.jediterm/jediterm-ui-3.63.jar_copy",
|
||||
src = "@org_jetbrains_jediterm-jediterm-ui-3_63_http//file",
|
||||
out = "org.jetbrains.jediterm/jediterm-ui-3.63.jar",
|
||||
allow_symlink = True,
|
||||
visibility = ["//visibility:public"]
|
||||
)
|
||||
|
||||
jvm_import(
|
||||
name = "libraries-jediterm-ui-jediterm-ui",
|
||||
jar = "@org_jetbrains_jediterm-jediterm-ui-3_62_http//file",
|
||||
source_jar = "@org_jetbrains_jediterm-jediterm-ui-3_62-sources_http//file",
|
||||
jar = "@org_jetbrains_jediterm-jediterm-ui-3_63_http//file",
|
||||
source_jar = "@org_jetbrains_jediterm-jediterm-ui-3_63-sources_http//file",
|
||||
visibility = ["//visibility:public"]
|
||||
)
|
||||
|
||||
|
||||
+16
-16
@@ -5957,17 +5957,17 @@ http_file(
|
||||
)
|
||||
|
||||
http_file(
|
||||
name = "org_jetbrains_jediterm-jediterm-core-3_62_http",
|
||||
url = "https://cache-redirector.jetbrains.com/packages.jetbrains.team/maven/p/ij/intellij-dependencies/org/jetbrains/jediterm/jediterm-core/3.62/jediterm-core-3.62.jar",
|
||||
sha256 = "2c7eb9f888ed6c0e247d9eca44931c286cd6bd4eb6cc5508ea257d2f6e3beed5",
|
||||
downloaded_file_path = "jediterm-core-3.62.jar"
|
||||
name = "org_jetbrains_jediterm-jediterm-core-3_63_http",
|
||||
url = "https://cache-redirector.jetbrains.com/packages.jetbrains.team/maven/p/ij/intellij-dependencies/org/jetbrains/jediterm/jediterm-core/3.63/jediterm-core-3.63.jar",
|
||||
sha256 = "1cd72f0d22d874f22137527e227d846bbd6fb71d814af8900dba1f638b5c7341",
|
||||
downloaded_file_path = "jediterm-core-3.63.jar"
|
||||
)
|
||||
|
||||
http_file(
|
||||
name = "org_jetbrains_jediterm-jediterm-core-3_62-sources_http",
|
||||
url = "https://cache-redirector.jetbrains.com/packages.jetbrains.team/maven/p/ij/intellij-dependencies/org/jetbrains/jediterm/jediterm-core/3.62/jediterm-core-3.62-sources.jar",
|
||||
sha256 = "2a83966b666851d478346e308571d700e9fc2c94a6c2f6d202135c70bf0044c7",
|
||||
downloaded_file_path = "jediterm-core-3.62-sources.jar"
|
||||
name = "org_jetbrains_jediterm-jediterm-core-3_63-sources_http",
|
||||
url = "https://cache-redirector.jetbrains.com/packages.jetbrains.team/maven/p/ij/intellij-dependencies/org/jetbrains/jediterm/jediterm-core/3.63/jediterm-core-3.63-sources.jar",
|
||||
sha256 = "af35060e2b1f489cf3924ab2b3eaa031ea1f2033457336ef9f59d1d5f13126a5",
|
||||
downloaded_file_path = "jediterm-core-3.63-sources.jar"
|
||||
)
|
||||
|
||||
http_file(
|
||||
@@ -9149,17 +9149,17 @@ http_file(
|
||||
)
|
||||
|
||||
http_file(
|
||||
name = "org_jetbrains_jediterm-jediterm-ui-3_62_http",
|
||||
url = "https://cache-redirector.jetbrains.com/packages.jetbrains.team/maven/p/ij/intellij-dependencies/org/jetbrains/jediterm/jediterm-ui/3.62/jediterm-ui-3.62.jar",
|
||||
sha256 = "056dd0d54495434625f006197b0d078b732f4feacc97dfcf0c6f58b7e1d2f3b3",
|
||||
downloaded_file_path = "jediterm-ui-3.62.jar"
|
||||
name = "org_jetbrains_jediterm-jediterm-ui-3_63_http",
|
||||
url = "https://cache-redirector.jetbrains.com/packages.jetbrains.team/maven/p/ij/intellij-dependencies/org/jetbrains/jediterm/jediterm-ui/3.63/jediterm-ui-3.63.jar",
|
||||
sha256 = "f3c217238cb57452e1a4a8dd63233abe9b67a82bcff10891c41b3f38c0e9465e",
|
||||
downloaded_file_path = "jediterm-ui-3.63.jar"
|
||||
)
|
||||
|
||||
http_file(
|
||||
name = "org_jetbrains_jediterm-jediterm-ui-3_62-sources_http",
|
||||
url = "https://cache-redirector.jetbrains.com/packages.jetbrains.team/maven/p/ij/intellij-dependencies/org/jetbrains/jediterm/jediterm-ui/3.62/jediterm-ui-3.62-sources.jar",
|
||||
sha256 = "767b293601aa995e198594439aa96d00109885bcb745fe8733f4ba0bdf0ec1ec",
|
||||
downloaded_file_path = "jediterm-ui-3.62-sources.jar"
|
||||
name = "org_jetbrains_jediterm-jediterm-ui-3_63-sources_http",
|
||||
url = "https://cache-redirector.jetbrains.com/packages.jetbrains.team/maven/p/ij/intellij-dependencies/org/jetbrains/jediterm/jediterm-ui/3.63/jediterm-ui-3.63-sources.jar",
|
||||
sha256 = "a404732efe5ce832f3895f2c481372ed39b508da377d454d9849bc4ad64a8385",
|
||||
downloaded_file_path = "jediterm-ui-3.63-sources.jar"
|
||||
)
|
||||
|
||||
http_file(
|
||||
|
||||
@@ -9,19 +9,19 @@
|
||||
<orderEntry type="sourceFolder" forTests="false" />
|
||||
<orderEntry type="module-library" exported="">
|
||||
<library name="jediterm-ui" type="repository">
|
||||
<properties include-transitive-deps="false" maven-id="org.jetbrains.jediterm:jediterm-ui:3.62">
|
||||
<properties include-transitive-deps="false" maven-id="org.jetbrains.jediterm:jediterm-ui:3.63">
|
||||
<verification>
|
||||
<artifact url="file://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-ui/3.62/jediterm-ui-3.62.jar">
|
||||
<sha256sum>056dd0d54495434625f006197b0d078b732f4feacc97dfcf0c6f58b7e1d2f3b3</sha256sum>
|
||||
<artifact url="file://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-ui/3.63/jediterm-ui-3.63.jar">
|
||||
<sha256sum>f3c217238cb57452e1a4a8dd63233abe9b67a82bcff10891c41b3f38c0e9465e</sha256sum>
|
||||
</artifact>
|
||||
</verification>
|
||||
</properties>
|
||||
<CLASSES>
|
||||
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-ui/3.62/jediterm-ui-3.62.jar!/" />
|
||||
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-ui/3.63/jediterm-ui-3.63.jar!/" />
|
||||
</CLASSES>
|
||||
<JAVADOC />
|
||||
<SOURCES>
|
||||
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-ui/3.62/jediterm-ui-3.62-sources.jar!/" />
|
||||
<root url="jar://$MAVEN_REPOSITORY$/org/jetbrains/jediterm/jediterm-ui/3.63/jediterm-ui-3.63-sources.jar!/" />
|
||||
</SOURCES>
|
||||
</library>
|
||||
</orderEntry>
|
||||
|
||||
Reference in New Issue
Block a user