added configurable keys for fast and slow playing speed

[rocksndiamonds.git] / src / tools.h

diff --git a/src/tools.h b/src/tools.h
index afad2e37948a973739006a7dcd05143f0745c2c1..67e0d8c54ee4c2d15a9ef9fe36b90bd76eb57e64 100644 (file)
--- a/src/tools.h
+++ b/src/tools.h
@@ -229,6 +229,9 @@ void UndrawSpecialEditorDoor(void);
 void CreateToolButtons(void);
 void FreeToolButtons(void);
 
+int getEngineElement(int);
+int getDrawingElement(int);
+
 int map_element_RND_to_BD_cave(int);
 int map_element_RND_to_BD_effect(int, int);
 int map_element_BD_to_RND_cave(int);
@@ -301,6 +304,7 @@ void ResetFontStatus(void);
 
 void SetLevelSetInfo(char *, int);
 
+void ToggleAudioSampleRateIfNeeded(void);
 void ToggleFullscreenIfNeeded(void);
 void ChangeWindowScalingIfNeeded(void);
 void ChangeVsyncModeIfNeeded(void);