Disable dynamic plugin reloading

FWDekker · Jan 12, 2024 · ca43a2f · ca43a2f
1 parent 4afe529
commit ca43a2f
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="[email protected]" url="https://fwdekker.com/">FWDekker</vendor>