1995-08-09 08:06:35 -07:00
|
|
|
/***********************************************************************/
|
|
|
|
/* */
|
1996-04-30 07:53:58 -07:00
|
|
|
/* Objective Caml */
|
1995-08-09 08:06:35 -07:00
|
|
|
/* */
|
|
|
|
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
|
|
|
|
/* */
|
1996-04-30 07:53:58 -07:00
|
|
|
/* Copyright 1996 Institut National de Recherche en Informatique et */
|
1999-11-17 10:59:06 -08:00
|
|
|
/* en Automatique. All rights reserved. This file is distributed */
|
2001-12-07 05:41:02 -08:00
|
|
|
/* under the terms of the GNU Library General Public License, with */
|
|
|
|
/* the special exception on linking described in file ../../LICENSE. */
|
1995-08-09 08:06:35 -07:00
|
|
|
/* */
|
|
|
|
/***********************************************************************/
|
|
|
|
|
|
|
|
/* $Id$ */
|
|
|
|
|
1995-05-08 10:04:35 -07:00
|
|
|
#include <stdio.h>
|
1997-03-21 06:23:00 -08:00
|
|
|
#include <X11/Xlib.h>
|
|
|
|
#include <X11/Xutil.h>
|
1995-05-08 10:04:35 -07:00
|
|
|
#include <mlvalues.h>
|
|
|
|
|
|
|
|
struct canvas {
|
|
|
|
int w, h; /* Dimensions of the drawable */
|
|
|
|
Drawable win; /* The drawable itself */
|
|
|
|
GC gc; /* The associated graphics context */
|
|
|
|
};
|
|
|
|
|
1996-09-03 01:25:04 -07:00
|
|
|
extern Display * grdisplay; /* The display connection */
|
1998-05-25 02:17:22 -07:00
|
|
|
extern int grscreen; /* The screen number */
|
|
|
|
extern Colormap grcolormap; /* The color map */
|
|
|
|
extern struct canvas grwindow; /* The graphics window */
|
|
|
|
extern struct canvas grbstore; /* The pixmap used for backing store */
|
2000-06-07 09:32:50 -07:00
|
|
|
extern int grwhite, grblack; /* Black and white pixels for X */
|
|
|
|
extern int grbackground; /* Background color for X
|
2001-07-12 06:00:55 -07:00
|
|
|
(used for CAML color -1) */
|
2000-03-13 06:09:28 -08:00
|
|
|
extern Bool grdisplay_mode; /* Display-mode flag */
|
|
|
|
extern Bool grremember_mode; /* Remember-mode flag */
|
1998-05-25 02:17:22 -07:00
|
|
|
extern int grx, gry; /* Coordinates of the current point */
|
2000-06-07 09:32:50 -07:00
|
|
|
extern int grcolor; /* Current *CAML* drawing color (can be -1) */
|
1995-05-08 10:04:35 -07:00
|
|
|
extern XFontStruct * grfont; /* Current font */
|
2001-07-31 06:15:36 -07:00
|
|
|
extern long grselected_events; /* Events we are interested in */
|
1995-05-08 10:04:35 -07:00
|
|
|
|
1999-02-19 09:08:27 -08:00
|
|
|
extern Bool direct_rgb;
|
|
|
|
extern int byte_order;
|
|
|
|
extern int bitmap_unit;
|
|
|
|
extern int bits_per_pixel;
|
|
|
|
|
1995-05-08 10:04:35 -07:00
|
|
|
#define Wcvt(y) (grwindow.h - 1 - (y))
|
|
|
|
#define Bcvt(y) (grbstore.h - 1 - (y))
|
|
|
|
#define WtoB(y) ((y) + grbstore.h - grwindow.h)
|
2000-02-08 06:26:12 -08:00
|
|
|
#define BtoW(y) ((y) + grwindow.h - grbstore.h)
|
1995-05-08 10:04:35 -07:00
|
|
|
#define min(a,b) ((a) < (b) ? (a) : (b))
|
|
|
|
#define max(a,b) ((a) > (b) ? (a) : (b))
|
|
|
|
|
|
|
|
#define DEFAULT_SCREEN_WIDTH 600
|
|
|
|
#define DEFAULT_SCREEN_HEIGHT 450
|
|
|
|
#define BORDER_WIDTH 2
|
1998-11-09 09:00:41 -08:00
|
|
|
#define WINDOW_NAME "Caml graphics"
|
|
|
|
#define ICON_NAME "Caml graphics"
|
2001-07-31 06:15:36 -07:00
|
|
|
#define DEFAULT_SELECTED_EVENTS \
|
|
|
|
(ExposureMask | KeyPressMask | StructureNotifyMask)
|
1995-05-08 10:04:35 -07:00
|
|
|
#define DEFAULT_FONT "fixed"
|
|
|
|
#define SIZE_QUEUE 256
|
|
|
|
|
|
|
|
/* To handle events asynchronously */
|
|
|
|
#ifdef HAS_ASYNC_IO
|
|
|
|
#define USE_ASYNC_IO
|
|
|
|
#define EVENT_SIGNAL SIGIO
|
|
|
|
#else
|
|
|
|
#ifdef HAS_SETITIMER
|
|
|
|
#define USE_INTERVAL_TIMER
|
|
|
|
#define EVENT_SIGNAL SIGALRM
|
|
|
|
#else
|
|
|
|
#define USE_ALARM
|
|
|
|
#define EVENT_SIGNAL SIGALRM
|
|
|
|
#endif
|
|
|
|
#endif
|
|
|
|
|
2001-07-31 06:15:36 -07:00
|
|
|
extern void gr_fail(char *fmt, char *arg);
|
|
|
|
extern void gr_check_open(void);
|
|
|
|
extern unsigned long gr_pixel_rgb(int rgb);
|
|
|
|
extern int gr_rgb_pixel(long unsigned int pixel);
|
|
|
|
extern void gr_handle_event(XEvent *e);
|
|
|
|
extern void gr_init_color_cache(void);
|
2002-01-20 08:30:24 -08:00
|
|
|
extern void gr_init_direct_rgb_to_pixel(void);
|
2001-07-31 06:15:36 -07:00
|
|
|
extern value id_of_window( Window w );
|