2015-04-22 13:09:17 -05:00
|
|
|
// 22 april 2015
|
|
|
|
|
#define GLIB_VERSION_MIN_REQUIRED GLIB_VERSION_2_32
|
|
|
|
|
#define GLIB_VERSION_MAX_ALLOWED GLIB_VERSION_2_32
|
|
|
|
|
#define GDK_VERSION_MIN_REQUIRED GDK_VERSION_3_4
|
|
|
|
|
#define GDK_VERSION_MAX_ALLOWED GDK_VERSION_3_4
|
|
|
|
|
#include <gtk/gtk.h>
|
|
|
|
|
#include "../ui.h"
|
|
|
|
|
#include "../ui_unix.h"
|
|
|
|
|
#include "../uipriv.h"
|
2015-04-22 18:23:34 -05:00
|
|
|
|
|
|
|
|
#define gtkXMargin 12
|
|
|
|
|
#define gtkYMargin 12
|
2015-04-23 09:01:39 -05:00
|
|
|
|
2015-04-23 17:48:01 -05:00
|
|
|
// menu.c
|
|
|
|
|
extern GtkWidget *makeMenubar(uiWindow *);
|
2015-04-30 11:05:18 -05:00
|
|
|
extern void freeMenubar(GtkWidget *);
|
