void DrawMiniElement(int, int, int);
void DrawMiniElementOrWall(int, int, int, int);
-void ShowEnvelope();
+void ShowEnvelope(int);
+void ShowEnvelopeDoor(char *text);
void DrawLevel(void);
void DrawMiniLevel(int, int, int, int);
void PlaySoundSelecting();
void ToggleFullscreenIfNeeded();
+void ChangeViewportPropertiesIfNeeded();
#endif /* TOOLS_H */