| 766 | mprintf(0, "Read int: %s:%d\n", label, *val); |
| 767 | } |
| 768 | void DatabaseWriteInt(const char *label, int val) { |
| 769 | mprintf(0, "Writing int: %s:%d\n", label, val); |
| 770 | Database->write(label, val); |
| 771 | } |
| 772 | void DescentDefer(void) { Descent->defer(); } |
| 773 | void *NewUIGameWindowCreate(int x, int y, int w, int h, int flags) { |
| 774 | NewUIGameWindow *newgamewin; |