2015-04-22 12:42:52 -05:00
|
|
|
// 22 april 2015
|
2015-04-22 16:54:05 -05:00
|
|
|
#include <stdio.h>
|
2015-04-22 12:42:52 -05:00
|
|
|
#include <stdlib.h>
|
|
|
|
#include <stdint.h>
|
2015-04-22 16:54:05 -05:00
|
|
|
#include <stdarg.h>
|
2015-04-22 18:23:34 -05:00
|
|
|
#include <string.h>
|
2015-04-22 12:42:52 -05:00
|
|
|
#include "../ui.h"
|
|
|
|
|
2015-04-22 16:54:05 -05:00
|
|
|
// main.c
|
|
|
|
extern void die(const char *, ...);
|
2015-04-29 18:55:42 -05:00
|
|
|
extern uiBox *mainBox;
|
2015-04-29 20:09:16 -05:00
|
|
|
extern uiTab *mainTab;
|
2015-04-22 16:54:05 -05:00
|
|
|
|
2015-04-22 12:42:52 -05:00
|
|
|
// spaced.c
|
|
|
|
extern void setSpaced(int);
|
2015-04-29 13:03:17 -05:00
|
|
|
extern void querySpaced(char[12]);
|
2015-04-22 18:23:34 -05:00
|
|
|
extern uiWindow *newWindow(const char *title, int width, int height, int hasMenubar);
|
2015-04-22 12:42:52 -05:00
|
|
|
extern uiBox *newHorizontalBox(void);
|
|
|
|
extern uiBox *newVerticalBox(void);
|
2015-04-28 20:47:18 -05:00
|
|
|
extern uiTab *newTab(void);
|
2015-04-23 17:22:06 -05:00
|
|
|
|
|
|
|
// menus.c
|
|
|
|
extern void initMenus(void);
|
2015-04-29 12:38:38 -05:00
|
|
|
|
|
|
|
// page1.c
|
2015-04-29 19:23:38 -05:00
|
|
|
extern uiBox *page1;
|
|
|
|
extern void makePage1(uiWindow *);
|
2015-04-29 19:15:29 -05:00
|
|
|
|
|
|
|
// page2.c
|
|
|
|
extern uiBox *makePage2(void);
|