From ca43a2fc20b9dd86dcae0afa9622a941f9ef4505 Mon Sep 17 00:00:00 2001
From: "Florine W. Dekker" <florine@fwdekker.com>
Date: Fri, 12 Jan 2024 15:08:04 +0100
Subject: [PATCH] Disable dynamic plugin reloading

---
 src/main/resources/META-INF/plugin.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/resources/META-INF/plugin.xml b/src/main/resources/META-INF/plugin.xml
index cde3fc47c..b0a9b5ed9 100644
--- 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>