+void RequestExitLevelEditor(boolean, boolean);
+void PrintEditorElementList(void);
+
+void DumpBrush(void);
+void DumpBrush_Small(void);
+
+void CopyClipboardToBrush(void);
+void CopyBrushToClipboard(void);
+void CopyBrushToClipboard_Small(void);
+
+void UndoLevelEditorOperation(void);
+void RedoLevelEditorOperation(void);