Merge pull request #522 from FWDekker/dynamic-loading

Disable dynamic plugin reloading
FWDekker · Jan 12, 2024 · 2274a0e · 2274a0e
2 parents 4afe529 + ca43a2f
commit 2274a0e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/resources/META-INF/plugin.xml b/src/main/resources/META-INF/plugin.xml
@@ -1,4 +1,4 @@
-<idea-plugin>
+<idea-plugin require-restart="true">
     <id>com.fwdekker.randomness</id>
     <name>Randomness</name>
     <vendor email="florine@fwdekker.com" url="https://fwdekker.com/">FWDekker</vendor>