extern int elements_in_list;
void CreateLevelEditorGadgets();
+void FreeLevelEditorGadgets();
void UnmapLevelEditorGadgets();
void DrawLevelEd(void);
void HandleLevelEditorKeyInput(Key);
+void HandleLevelEditorIdle();
void HandleEditorGadgetInfoText(void *ptr);
void RequestExitLevelEditor(boolean);
+void PrintEditorElementList();
+
+void DumpBrush();
#endif