-void LevelEd(int, int, int);
-void HandleLevelEditorKeyInput(KeySym);
-void LevelNameTyping(KeySym);
+void HandleLevelEditorKeyInput(Key);
+void HandleLevelEditorIdle();
+void HandleEditorGadgetInfoText(void *ptr);
+void RequestExitLevelEditor(boolean, boolean);
+void PrintEditorElementList();
+
+void DumpBrush();
+void DumpBrush_Small();