-void LevelEd(int, int, int);
-void LevelNameTyping(KeySym);
+void HandleLevelEditorKeyInput(Key);
+void HandleLevelEditorIdle(void);
+void HandleEditorGadgetInfoText(void *ptr);
+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);
+
+void SetDefaultLevelColorType_BD(void);
+void SetDefaultLevelColors_BD(void);
+void SetRandomLevelColors_BD(int);