improved loading menu graphics config settings (more generic solution)

[rocksndiamonds.git] / src / editor.h

diff --git a/src/editor.h b/src/editor.h
index b39d676552900e6d43c9f15c59c0269f54324abb..09c2ccac57875ced2ed048fbf31597004e064e9d 100644 (file)
--- a/src/editor.h
+++ b/src/editor.h
@@ -14,17 +14,21 @@
 
 #include "main.h"
 
-void CreateLevelEditorGadgets();
-void FreeLevelEditorGadgets();
-void UnmapLevelEditorGadgets();
+void CreateLevelEditorGadgets(void);
+void FreeLevelEditorGadgets(void);
+void UnmapLevelEditorGadgets(void);
 void DrawLevelEd(void);
 void HandleLevelEditorKeyInput(Key);
-void HandleLevelEditorIdle();
+void HandleLevelEditorIdle(void);
 void HandleEditorGadgetInfoText(void *ptr);
 void RequestExitLevelEditor(boolean, boolean);
-void PrintEditorElementList();
+void PrintEditorElementList(void);
 
-void DumpBrush();
-void DumpBrush_Small();
+void DumpBrush(void);
+void DumpBrush_Small(void);
+
+void CopyClipboardToBrush(void);
+void CopyBrushToClipboard(void);
+void CopyBrushToClipboard_Small(void);
 
 #endif