diff --git a/nms-patches/ServerGUI.patch b/nms-patches/ServerGUI.patch new file mode 100644 index 0000000000..ea0b0fdb44 --- /dev/null +++ b/nms-patches/ServerGUI.patch @@ -0,0 +1,19 @@ +--- a/net/minecraft/server/ServerGUI.java ++++ b/net/minecraft/server/ServerGUI.java +@@ -159,6 +159,7 @@ + this.e.forEach(Runnable::run); + } + ++ private static final java.util.regex.Pattern ANSI = java.util.regex.Pattern.compile("\\x1B\\[([0-9]{1,2}(;[0-9]{1,2})*)?[m|K]"); // CraftBukkit + public void a(JTextArea jtextarea, JScrollPane jscrollpane, String s) { + if (!SwingUtilities.isEventDispatchThread()) { + SwingUtilities.invokeLater(() -> { +@@ -174,7 +175,7 @@ + } + + try { +- document.insertString(document.getLength(), s, (AttributeSet) null); ++ document.insertString(document.getLength(), ANSI.matcher(s).replaceAll(""), (AttributeSet) null); // CraftBukkit + } catch (BadLocationException badlocationexception) { + ; + }