From c9e8650f2b5b1e466e1a082fb9270faeaf4a8801 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Fri, 24 Apr 2020 16:43:39 +0200 Subject: [PATCH] ide_development_instance.md: note about disabling auto-reload explicitly (JetBrains/gradle-intellij-plugin#476) --- basics/ide_development_instance.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/basics/ide_development_instance.md b/basics/ide_development_instance.md index 1712ac2d5..f538d53dc 100644 --- a/basics/ide_development_instance.md +++ b/basics/ide_development_instance.md @@ -50,9 +50,10 @@ Continuing from the example [above](#determining-a-jetbrains-runtime-version), t When adding system property `idea.auto.reload.plugins` in the [run configuration](getting_started/running_and_debugging_a_plugin.md) (DevKit-based) or [**runIde**](/tutorials/build_system/prerequisites.md#running-a-simple-gradle-based-intellij-platform-plugin) task (Gradle-based), dynamic plugins are reloaded automatically when their JARs are modified. This allows a much faster development cycle by avoiding a full restart of the development instance after code changes. - For [Gradle-based plugins](/tutorials/build_system/prerequisites.md) using `gradle-intellij-plugin` 0.4.17 or later, this property is set automatically. +To disable auto-reload, set `idea.auto.reload.plugins` to `false` explicitly (2020.1.2+). + ## The Development Instance Sandbox Directory The _Sandbox Home_ directory contains the [settings, caches, logs, and plugins](#development-instance-settings-caches-logs-and-plugins) for a Development Instance of the IDE.