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-22 12:42:52 -05:00
|
|
|
// spaced.c
|
|
|
|
extern void setSpaced(int);
|
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 12:47:50 -05:00
|
|
|
extern uiBox *makePage1(uiWindow *);
|