2015-04-22 13:09:17 -05:00
|
|
|
// 22 april 2015
|
2016-05-28 12:06:16 -05:00
|
|
|
#define GLIB_VERSION_MIN_REQUIRED GLIB_VERSION_2_40
|
|
|
|
#define GLIB_VERSION_MAX_ALLOWED GLIB_VERSION_2_40
|
|
|
|
#define GDK_VERSION_MIN_REQUIRED GDK_VERSION_3_10
|
|
|
|
#define GDK_VERSION_MAX_ALLOWED GDK_VERSION_3_10
|
2016-05-04 22:35:11 -05:00
|
|
|
#include <gtk/gtk.h>
|
2015-10-09 21:00:41 -05:00
|
|
|
#include <math.h>
|
2017-05-19 15:40:52 -05:00
|
|
|
#include <dlfcn.h> // see future.c
|
2016-05-04 22:35:11 -05:00
|
|
|
#include <langinfo.h>
|
2016-05-25 00:52:53 -05:00
|
|
|
#include <string.h>
|
2016-06-27 15:11:15 -05:00
|
|
|
#include <stdlib.h>
|
2017-02-20 16:11:52 -06:00
|
|
|
#include <inttypes.h>
|
2015-08-28 09:01:57 -05:00
|
|
|
#include "../ui.h"
|
2015-04-22 13:09:17 -05:00
|
|
|
#include "../ui_unix.h"
|
2015-10-16 17:31:14 -05:00
|
|
|
#include "../common/uipriv.h"
|
2015-04-22 18:23:34 -05:00
|
|
|
|
2018-05-12 11:47:21 -05:00
|
|
|
#define uiprivGTKXMargin 12
|
|
|
|
#define uiprivGTKYMargin 12
|
|
|
|
#define uiprivGTKXPadding 12
|
|
|
|
#define uiprivGTKYPadding 6
|
|
|
|
|
|
|
|
// menu.c
|
|
|
|
extern GtkWidget *uiprivMakeMenubar(uiWindow *);
|
|
|
|
extern void uiprivFreeMenubar(GtkWidget *);
|
|
|
|
extern void uiprivUninitMenus(void);
|
|
|
|
|
|
|
|
// alloc.c
|
|
|
|
extern void uiprivInitAlloc(void);
|
|
|
|
extern void uiprivUninitAlloc(void);
|
|
|
|
|
|
|
|
// util.c
|
|
|
|
extern void uiprivSetMargined(GtkContainer *, int);
|
|
|
|
|
2018-05-12 10:20:11 -05:00
|
|
|
#include "OLD_uipriv_unix.h"
|