added optional button to restart game (door, panel and touch variants)
[rocksndiamonds.git] / src / editor.h
index b39d676552900e6d43c9f15c59c0269f54324abb..7270b202c048ef2a02f9987beceb03a8d65aa3d8 100644 (file)
@@ -4,7 +4,7 @@
 // (c) 1995-2014 by Artsoft Entertainment
 //                         Holger Schemel
 //                 info@artsoft.org
-//                 http://www.artsoft.org/
+//                 https://www.artsoft.org/
 // ----------------------------------------------------------------------------
 // editor.h
 // ============================================================================
 
 #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);
+
+void UndoLevelEditorOperation(void);
+void RedoLevelEditorOperation(void);
 
 #endif