void runWithoutUndo( Runnable runnable ) {
		getDocument().removeUndoableEditListener( undoManager );
		try {
			runnable.run();
		} finally {
			getDocument().addUndoableEditListener( undoManager );
		}
	}
A text area that supports editing FlatLaf themes.

@author Karl Tauber
flatlaf-theme-editor/src/main/java/com/formdev/flatlaf/themeeditor/FlatSyntaxTextArea.java