ide_infrastructure.md: new section "Network"

This commit is contained in:
Yann Cébron 2024-06-03 16:37:23 +02:00
parent 66db965100
commit f8ce31e08f

View File

@ -145,3 +145,9 @@ To suggest other relevant plugins, use [`PluginsAdvertiser.installAndEnable()`](
### Deprecating a Plugin
To suggest replacing the currently installed deprecated plugin with the new one, implement [`PluginReplacement`](%gh-ic%/platform/platform-api/src/com/intellij/ide/plugins/PluginReplacement.java) registered in `com.intellij.pluginReplacement` extension point.
## Network
Use [`HttpConnectionUtils`](%gh-ic-master%/platform/platform-api/src/com/intellij/util/net/HttpConnectionUtils.kt)
to use platform network settings (e.g., proxy) (2024.3).
For earlier versions, see [`HttpConfigurable`](%gh-ic%/platform/platform-api/src/com/intellij/util/net/HttpConfigurable.java)).