From 41c307a4b5360069fe659fac4c49e518fe40bacb Mon Sep 17 00:00:00 2001
From: Matthew Miller <mnmiller1@me.com>
Date: Sun, 19 Aug 2018 10:46:46 +1000
Subject: [PATCH] Set the session to dirty if the server CUI is changed.

---
 .../src/main/java/com/sk89q/worldedit/LocalSession.java          | 1 +
 1 file changed, 1 insertion(+)

diff --git a/worldedit-core/src/main/java/com/sk89q/worldedit/LocalSession.java b/worldedit-core/src/main/java/com/sk89q/worldedit/LocalSession.java
index aa09fbe0e..03f25c6af 100644
--- a/worldedit-core/src/main/java/com/sk89q/worldedit/LocalSession.java
+++ b/worldedit-core/src/main/java/com/sk89q/worldedit/LocalSession.java
@@ -624,6 +624,7 @@ public class LocalSession {
 
     public void setUseServerCUI(boolean useServerCUI) {
         this.useServerCUI = useServerCUI;
+        setDirty();
     }
 
     /**