void shrink_screen(float dest_x, float dest_y, float seconds);
/**
+ * Aborts any kind of previous screen fade; the screenchange will happen
+ * anyway.
+ */
+void abort_screenfade();
+
+/**
* Translate a text into the users language (by looking it up in the .po
* files)
*/