[lttv.git] / ltt / branches / poly / lttv / modules / guiControlFlow / Drawing.c


#include "Drawing.h"
#include "CFV.h"
#include <gtk/gtk.h>
#include <gdk/gdk.h>

#include <lttv/processTrace.h>

/*****************************************************************************
 *                              Drawing functions                            *
 *****************************************************************************/

//FIXME Colors will need to be dynamic. Graphic context part not done so far.
typedef enum 
{
	RED,
	GREEN,
	BLUE,
	WHITE,
	BLACK

} ControlFlowColors;

/* Vector of unallocated colors */
static GdkColor CF_Colors [] = 
{
	{ 0, 0xffff, 0x0000, 0x0000 },	// RED
	{ 0, 0x0000, 0xffff, 0x0000 },	// GREEN
	{ 0, 0x0000, 0x0000, 0xffff },	// BLUE
	{ 0, 0xffff, 0xffff, 0xffff },	// WHITE
	{ 0, 0x0000, 0x0000, 0x0000 }	// BLACK
};


//struct _Drawing_t {
//	GtkWidget	*Drawing_Area_V;
//	GdkPixmap	*Pixmap;
//	ControlFlowData	*Control_Flow_Data;

//	gint 		height, width, depth;

//};

/* Function responsible for updating the exposed area.
 * It must call processTrace() to ask for this update.
 */
void drawing_data_request(Drawing_t *Drawing,
			GdkPixmap **Pixmap,
			gint x, gint y,
		  gint width,
			gint height)
{
  if(width < 0) return ;
  if(height < 0) return ;

  gdk_draw_rectangle (*Pixmap,
		      Drawing->Drawing_Area_V->style->white_gc,
		      TRUE,
		      x, y,
		      width,	// do not overlap
		      height);

  send_test_process(
	guicontrolflow_get_process_list(Drawing->Control_Flow_Data),
	Drawing);
  send_test_drawing(
	guicontrolflow_get_process_list(Drawing->Control_Flow_Data),
	Drawing, *Pixmap, x, y, width, height);
  
}
		      
/* Callbacks */


/* Create a new backing pixmap of the appropriate size */
static gboolean
configure_event( GtkWidget *widget, GdkEventConfigure *event, 
		gpointer user_data)
{
  Drawing_t *Drawing = (Drawing_t*)user_data;

  /* New Pixmap, size of the configure event */
  GdkPixmap *Pixmap = gdk_pixmap_new(widget->window,
			  widget->allocation.width,
			  widget->allocation.height,
			  -1);
	
  g_critical("drawing configure event");

  /* If no old Pixmap present */
  if(Drawing->Pixmap == NULL)
  {
  	Drawing->Pixmap = gdk_pixmap_new(
		widget->window,
		widget->allocation.width,
		widget->allocation.height,
		//ProcessList_get_height
		// (GuiControlFlow_get_Process_List(Drawing->Control_Flow_Data)),
		-1);
	Drawing->width = widget->allocation.width;
	Drawing->height = widget->allocation.height;
g_critical("init data");
	/* Initial data request */
 	drawing_data_request(Drawing, &Drawing->Pixmap, 0, 0,
		   	widget->allocation.width,
			widget->allocation.height);

  }
//  /* Draw empty background */ 
//  gdk_draw_rectangle (Pixmap,
//		      widget->style->black_gc,
//		      TRUE,
//		      0, 0,
//		      widget->allocation.width,
//		      widget->allocation.height);
  
  /* Copy old data to new pixmap */
  gdk_draw_drawable (Pixmap,
		  widget->style->white_gc,
		  Drawing->Pixmap,
		  0, 0,
		  0, 0,
		  -1, -1);

   /* Request data for missing space */
g_critical("missing data");
   drawing_data_request(Drawing, &Pixmap, Drawing->width, 0,
		   	widget->allocation.width - Drawing->width,
			widget->allocation.height);
   drawing_data_request(Drawing, &Pixmap, 0, Drawing->height,
		   Drawing->width,
		   widget->allocation.height - Drawing->height);
			                      
//   gdk_draw_rectangle (Pixmap,
//		      widget->style->white_gc,
//		      TRUE,
//		      Drawing->width, 0,
//		      widget->allocation.width -
//		      			Drawing->width,
//		      widget->allocation.height);

//    gdk_draw_rectangle (Pixmap,
//		      widget->style->white_gc,
//		      TRUE,
//		      0, Drawing->height,
//		      Drawing->width,	// do not overlap
//		      widget->allocation.height -
//		      			Drawing->height);
 

  if (Drawing->Pixmap)
    gdk_pixmap_unref(Drawing->Pixmap);

  Drawing->Pixmap = Pixmap;
  Drawing->width = widget->allocation.width;
  Drawing->height = widget->allocation.height;

  return TRUE;
}


/* Redraw the screen from the backing pixmap */
static gboolean
expose_event( GtkWidget *widget, GdkEventExpose *event, gpointer user_data )
{
  Drawing_t *Drawing = (Drawing_t*)user_data;
  g_critical("drawing expose event");

  gdk_draw_pixmap(widget->window,
		  widget->style->fg_gc[GTK_WIDGET_STATE (widget)],
		  Drawing->Pixmap,
		  event->area.x, event->area.y,
		  event->area.x, event->area.y,
		  event->area.width, event->area.height);

  return FALSE;
}

Drawing_t *drawing_construct(ControlFlowData *Control_Flow_Data)
{
	Drawing_t *Drawing = g_new(Drawing_t, 1);
		
	Drawing->Drawing_Area_V = gtk_drawing_area_new ();
	Drawing->Control_Flow_Data = Control_Flow_Data;

	//gtk_widget_set_size_request(Drawing->Drawing_Area_V->window, 50, 50);
	g_object_set_data_full(
			G_OBJECT(Drawing->Drawing_Area_V),
			"Link_Drawing_Data",
			Drawing,
			(GDestroyNotify)drawing_destroy);

	//gtk_widget_modify_bg(	Drawing->Drawing_Area_V,
	//			GTK_STATE_NORMAL,
	//			&CF_Colors[BLACK]);
	
	//gdk_window_get_geometry(Drawing->Drawing_Area_V->window,
	//		NULL, NULL,
	//		&(Drawing->width),
	//		&(Drawing->height),
	//		-1);
	
	//Drawing->Pixmap = gdk_pixmap_new(
	//		Drawing->Drawing_Area_V->window,
	//		Drawing->width,
	//		Drawing->height,
	//		Drawing->depth);
	
	Drawing->Pixmap = NULL;

// 	Drawing->Pixmap = gdk_pixmap_new(Drawing->Drawing_Area_V->window,
//			  Drawing->Drawing_Area_V->allocation.width,
//			  Drawing->Drawing_Area_V->allocation.height,
//			  -1);

	g_signal_connect (G_OBJECT(Drawing->Drawing_Area_V),
				"configure_event",
				G_CALLBACK (configure_event),
				(gpointer)Drawing);
	
	g_signal_connect (G_OBJECT(Drawing->Drawing_Area_V),
				"expose_event",
				G_CALLBACK (expose_event),
				(gpointer)Drawing);

	return Drawing;
}

void drawing_destroy(Drawing_t *Drawing)
{

	// Do not unref here, Drawing_t destroyed by it's widget.
	//g_object_unref( G_OBJECT(Drawing->Drawing_Area_V));
		
	g_free(Drawing);
}

GtkWidget *drawing_get_widget(Drawing_t *Drawing)
{
	return Drawing->Drawing_Area_V;
}

/* get_time_from_pixels
 *
 * Get the time interval from window time and pixels, and pixels requested.
 */
void convert_pixels_to_time(
		Drawing_t *Drawing,
		guint x,
		LttTime *window_time_begin,
		LttTime *window_time_end,
		LttTime *time)
{
	LttTime window_time_interval;
	
	window_time_interval = ltt_time_sub(*window_time_end, 
            *window_time_begin);
	*time = ltt_time_mul(window_time_interval, (x/(float)Drawing->width));
	*time = ltt_time_add(*window_time_begin, *time);
}


void convert_time_to_pixels(
		LttTime window_time_begin,
		LttTime window_time_end,
		LttTime time,
		Drawing_t *Drawing,
		guint *x)
{
	LttTime window_time_interval;
	float interval_float, time_float;
	
	window_time_interval = ltt_time_sub(window_time_end,window_time_begin);
	
	time = ltt_time_sub(time, window_time_begin);
	
	interval_float = ltt_time_to_double(window_time_interval);
	time_float = ltt_time_to_double(time);

	*x = (guint)(time_float/interval_float * Drawing->width);
	
}

void drawing_refresh (	Drawing_t *Drawing,
			guint x, guint y,
			guint width, guint height)
{
	GdkRectangle update_rect;

	gdk_draw_drawable(
		Drawing->Drawing_Area_V->window,
		Drawing->Drawing_Area_V->
		 style->fg_gc[GTK_WIDGET_STATE (Drawing->Drawing_Area_V)],
		GDK_DRAWABLE(Drawing->Pixmap),
		x, y,
		x, y,
		width, height);

	update_rect.x = 0 ;
	update_rect.y = 0 ;
	update_rect.width = Drawing->width;
	update_rect.height = Drawing->height ;
	gtk_widget_draw( Drawing->Drawing_Area_V, &update_rect);

}


void drawing_draw_line(	Drawing_t *Drawing,
			GdkPixmap *Pixmap,
			guint x1, guint y1,
			guint x2, guint y2,
			GdkGC *GC)
{
	gdk_draw_line (Pixmap,
			GC,
			x1, y1, x2, y2);
}


void drawing_resize(Drawing_t *Drawing, guint h, guint w)
{
	Drawing->height = h ;
	Drawing->width = w ;

	gtk_widget_set_size_request (	Drawing->Drawing_Area_V,
					Drawing->width,
					Drawing->height);
	
	
}


/* Insert a square corresponding to a new process in the list */
/* Applies to whole Drawing->width */
void drawing_insert_square(Drawing_t *Drawing,
				guint y,
				guint height)
{
	GdkRectangle update_rect;

	/* Allocate a new pixmap with new height */
	GdkPixmap *Pixmap = gdk_pixmap_new(Drawing->Drawing_Area_V->window,
			  Drawing->width,
			  Drawing->height + height,
			  -1);
	
	/* Copy the high region */
	gdk_draw_drawable (Pixmap,
		Drawing->Drawing_Area_V->style->black_gc,
		Drawing->Pixmap,
		0, 0,
		0, 0,
		Drawing->width, y);


	/* add an empty square */
	gdk_draw_rectangle (Pixmap,
		Drawing->Drawing_Area_V->style->black_gc,
		TRUE,
		0, y,
		Drawing->width,	// do not overlap
		height);


	/* copy the bottom of the region */
 	gdk_draw_drawable (Pixmap,
		Drawing->Drawing_Area_V->style->black_gc,
		Drawing->Pixmap,
		0, y,
		0, y + height,
		Drawing->width, Drawing->height - y);


	if (Drawing->Pixmap)
		gdk_pixmap_unref(Drawing->Pixmap);

	Drawing->Pixmap = Pixmap;
	
	Drawing->height+=height;

	/* Rectangle to update, from new Drawing dimensions */
	update_rect.x = 0 ;
	update_rect.y = y ;
	update_rect.width = Drawing->width;
	update_rect.height = Drawing->height - y ;
	gtk_widget_draw( Drawing->Drawing_Area_V, &update_rect);
}


/* Remove a square corresponding to a removed process in the list */
void drawing_remove_square(Drawing_t *Drawing,
				guint y,
				guint height)
{
	GdkRectangle update_rect;
	
	/* Allocate a new pixmap with new height */
	GdkPixmap *Pixmap = gdk_pixmap_new(
			Drawing->Drawing_Area_V->window,
			Drawing->width,
			Drawing->height - height,
			-1);
	
	/* Copy the high region */
	gdk_draw_drawable (Pixmap,
		Drawing->Drawing_Area_V->style->black_gc,
		Drawing->Pixmap,
		0, 0,
		0, 0,
		Drawing->width, y);


	/* Copy up the bottom of the region */
 	gdk_draw_drawable (Pixmap,
		Drawing->Drawing_Area_V->style->black_gc,
		Drawing->Pixmap,
		0, y + height,
		0, y,
		Drawing->width, Drawing->height - y - height);


	if (Drawing->Pixmap)
		gdk_pixmap_unref(Drawing->Pixmap);

	Drawing->Pixmap = Pixmap;
	
	Drawing->height-=height;
	
	/* Rectangle to update, from new Drawing dimensions */
	update_rect.x = 0 ;
	update_rect.y = y ;
	update_rect.width = Drawing->width;
	update_rect.height = Drawing->height - y ;
	gtk_widget_draw( Drawing->Drawing_Area_V, &update_rect);
}
Commit	Line	Data
fa2c4dbe	1
f0d936c0	2	#include "Drawing.h"
f7afe191	3	#include "CFV.h"
76a67e8a	4	#include <gtk/gtk.h>
76a67e8a	5	#include <gdk/gdk.h>
f0d936c0	6
831a876d	7	#include <lttv/processTrace.h>
831a876d	8
f0d936c0	9	/*****************************************************************************
	10	* Drawing functions *
	11	*****************************************************************************/
	12
831a876d	13	//FIXME Colors will need to be dynamic. Graphic context part not done so far.
f0d936c0	14	typedef enum
	15	{
	16	RED,
	17	GREEN,
	18	BLUE,
	19	WHITE,
	20	BLACK
	21
	22	} ControlFlowColors;
	23
	24	/* Vector of unallocated colors */
	25	static GdkColor CF_Colors [] =
	26	{
	27	{ 0, 0xffff, 0x0000, 0x0000 }, // RED
	28	{ 0, 0x0000, 0xffff, 0x0000 }, // GREEN
	29	{ 0, 0x0000, 0x0000, 0xffff }, // BLUE
	30	{ 0, 0xffff, 0xffff, 0xffff }, // WHITE
	31	{ 0, 0x0000, 0x0000, 0x0000 } // BLACK
	32	};
	33
	34
f7afe191	35	//struct _Drawing_t {
	36	// GtkWidget *Drawing_Area_V;
	37	// GdkPixmap *Pixmap;
	38	// ControlFlowData *Control_Flow_Data;
f0d936c0	39
f7afe191	40	// gint height, width, depth;
f0d936c0	41
f7afe191	42	//};
f0d936c0	43
831a876d	44	/* Function responsible for updating the exposed area.
	45	* It must call processTrace() to ask for this update.
	46	*/
4c69e0cc	47	void drawing_data_request(Drawing_t *Drawing,
f7afe191	48	GdkPixmap **Pixmap,
847b479d	49	gint x, gint y,
4c69e0cc	50	gint width,
847b479d	51	gint height)
847b479d	52	{
d9b7ca88	53	if(width < 0) return ;
	54	if(height < 0) return ;
	55
f7afe191	56	gdk_draw_rectangle (*Pixmap,
847b479d	57	Drawing->Drawing_Area_V->style->white_gc,
	58	TRUE,
	59	x, y,
	60	width, // do not overlap
	61	height);
	62
f7afe191	63	send_test_process(
4c69e0cc	64	guicontrolflow_get_process_list(Drawing->Control_Flow_Data),
f7afe191	65	Drawing);
f7afe191	66	send_test_drawing(
4c69e0cc	67	guicontrolflow_get_process_list(Drawing->Control_Flow_Data),
f7afe191	68	Drawing, *Pixmap, x, y, width, height);
831a876d	69
847b479d	70	}
	71
	72	/* Callbacks */
	73
	74
	75	/* Create a new backing pixmap of the appropriate size */
	76	static gboolean
	77	configure_event( GtkWidget widget, GdkEventConfigure event,
	78	gpointer user_data)
f0d936c0	79	{
847b479d	80	Drawing_t Drawing = (Drawing_t)user_data;
f0d936c0	81
f7afe191	82	/* New Pixmap, size of the configure event */
847b479d	83	GdkPixmap *Pixmap = gdk_pixmap_new(widget->window,
	84	widget->allocation.width,
	85	widget->allocation.height,
	86	-1);
	87
f7afe191	88	g_critical("drawing configure event");
	89
	90	/* If no old Pixmap present */
847b479d	91	if(Drawing->Pixmap == NULL)
847b479d	92	{
f7afe191	93	Drawing->Pixmap = gdk_pixmap_new(
	94	widget->window,
	95	widget->allocation.width,
	96	widget->allocation.height,
	97	//ProcessList_get_height
	98	// (GuiControlFlow_get_Process_List(Drawing->Control_Flow_Data)),
	99	-1);
847b479d	100	Drawing->width = widget->allocation.width;
847b479d	101	Drawing->height = widget->allocation.height;
f7afe191	102	g_critical("init data");
847b479d	103	/* Initial data request */
4c69e0cc	104	drawing_data_request(Drawing, &Drawing->Pixmap, 0, 0,
847b479d	105	widget->allocation.width,
	106	widget->allocation.height);
	107
	108	}
	109	// /* Draw empty background */
	110	// gdk_draw_rectangle (Pixmap,
	111	// widget->style->black_gc,
	112	// TRUE,
	113	// 0, 0,
	114	// widget->allocation.width,
	115	// widget->allocation.height);
	116
	117	/* Copy old data to new pixmap */
	118	gdk_draw_drawable (Pixmap,
	119	widget->style->white_gc,
	120	Drawing->Pixmap,
	121	0, 0,
	122	0, 0,
	123	-1, -1);
	124
	125	/* Request data for missing space */
f7afe191	126	g_critical("missing data");
4c69e0cc	127	drawing_data_request(Drawing, &Pixmap, Drawing->width, 0,
847b479d	128	widget->allocation.width - Drawing->width,
847b479d	129	widget->allocation.height);
4c69e0cc	130	drawing_data_request(Drawing, &Pixmap, 0, Drawing->height,
847b479d	131	Drawing->width,
	132	widget->allocation.height - Drawing->height);
	133
	134	// gdk_draw_rectangle (Pixmap,
	135	// widget->style->white_gc,
	136	// TRUE,
	137	// Drawing->width, 0,
	138	// widget->allocation.width -
	139	// Drawing->width,
	140	// widget->allocation.height);
	141
	142	// gdk_draw_rectangle (Pixmap,
	143	// widget->style->white_gc,
	144	// TRUE,
	145	// 0, Drawing->height,
	146	// Drawing->width, // do not overlap
	147	// widget->allocation.height -
	148	// Drawing->height);
	149
	150
	151
847b479d	152
	153	if (Drawing->Pixmap)
	154	gdk_pixmap_unref(Drawing->Pixmap);
	155
	156	Drawing->Pixmap = Pixmap;
	157	Drawing->width = widget->allocation.width;
	158	Drawing->height = widget->allocation.height;
	159
	160	return TRUE;
	161	}
	162
	163
	164	/* Redraw the screen from the backing pixmap */
	165	static gboolean
	166	expose_event( GtkWidget widget, GdkEventExpose event, gpointer user_data )
	167	{
	168	Drawing_t Drawing = (Drawing_t)user_data;
	169	g_critical("drawing expose event");
	170
	171	gdk_draw_pixmap(widget->window,
	172	widget->style->fg_gc[GTK_WIDGET_STATE (widget)],
	173	Drawing->Pixmap,
	174	event->area.x, event->area.y,
	175	event->area.x, event->area.y,
	176	event->area.width, event->area.height);
	177
	178	return FALSE;
	179	}
	180
4c69e0cc	181	Drawing_t drawing_construct(ControlFlowData Control_Flow_Data)
847b479d	182	{
76a67e8a	183	Drawing_t *Drawing = g_new(Drawing_t, 1);
f0d936c0	184
f0d936c0	185	Drawing->Drawing_Area_V = gtk_drawing_area_new ();
f7afe191	186	Drawing->Control_Flow_Data = Control_Flow_Data;
f7afe191	187
847b479d	188	//gtk_widget_set_size_request(Drawing->Drawing_Area_V->window, 50, 50);
f0d936c0	189	g_object_set_data_full(
f0d936c0	190	G_OBJECT(Drawing->Drawing_Area_V),
76a67e8a	191	"Link_Drawing_Data",
f0d936c0	192	Drawing,
3cff8cc1	193	(GDestroyNotify)drawing_destroy);
f0d936c0	194
847b479d	195	//gtk_widget_modify_bg( Drawing->Drawing_Area_V,
	196	// GTK_STATE_NORMAL,
	197	// &CF_Colors[BLACK]);
	198
	199	//gdk_window_get_geometry(Drawing->Drawing_Area_V->window,
	200	// NULL, NULL,
	201	// &(Drawing->width),
	202	// &(Drawing->height),
	203	// -1);
	204
	205	//Drawing->Pixmap = gdk_pixmap_new(
	206	// Drawing->Drawing_Area_V->window,
	207	// Drawing->width,
	208	// Drawing->height,
	209	// Drawing->depth);
	210
	211	Drawing->Pixmap = NULL;
	212
	213	// Drawing->Pixmap = gdk_pixmap_new(Drawing->Drawing_Area_V->window,
	214	// Drawing->Drawing_Area_V->allocation.width,
	215	// Drawing->Drawing_Area_V->allocation.height,
	216	// -1);
	217
847b479d	218	g_signal_connect (G_OBJECT(Drawing->Drawing_Area_V),
	219	"configure_event",
	220	G_CALLBACK (configure_event),
	221	(gpointer)Drawing);
	222
	223	g_signal_connect (G_OBJECT(Drawing->Drawing_Area_V),
	224	"expose_event",
	225	G_CALLBACK (expose_event),
	226	(gpointer)Drawing);
	227
f0d936c0	228	return Drawing;
	229	}
	230
4c69e0cc	231	void drawing_destroy(Drawing_t *Drawing)
f0d936c0	232	{
f0d936c0	233
76a67e8a	234	// Do not unref here, Drawing_t destroyed by it's widget.
76a67e8a	235	//g_object_unref( G_OBJECT(Drawing->Drawing_Area_V));
f0d936c0	236
	237	g_free(Drawing);
	238	}
	239
4c69e0cc	240	GtkWidget drawing_get_widget(Drawing_t Drawing)
76a67e8a	241	{
	242	return Drawing->Drawing_Area_V;
	243	}
	244
f0d936c0	245	/* get_time_from_pixels
f0d936c0	246	*
308711e5	247	* Get the time interval from window time and pixels, and pixels requested.
f0d936c0	248	*/
fa2c4dbe	249	void convert_pixels_to_time(
	250	Drawing_t *Drawing,
	251	guint x,
	252	LttTime *window_time_begin,
	253	LttTime *window_time_end,
76a67e8a	254	LttTime *time)
f0d936c0	255	{
fa2c4dbe	256	LttTime window_time_interval;
f0d936c0	257
308711e5	258	window_time_interval = ltt_time_sub(*window_time_end,
	259	*window_time_begin);
	260	*time = ltt_time_mul(window_time_interval, (x/(float)Drawing->width));
	261	time = ltt_time_add(window_time_begin, *time);
fa2c4dbe	262	}
	263
	264
	265
	266	void convert_time_to_pixels(
	267	LttTime window_time_begin,
	268	LttTime window_time_end,
	269	LttTime time,
	270	Drawing_t *Drawing,
76a67e8a	271	guint *x)
fa2c4dbe	272	{
fa2c4dbe	273	LttTime window_time_interval;
76a67e8a	274	float interval_float, time_float;
fa2c4dbe	275
308711e5	276	window_time_interval = ltt_time_sub(window_time_end,window_time_begin);
fa2c4dbe	277
308711e5	278	time = ltt_time_sub(time, window_time_begin);
fa2c4dbe	279
308711e5	280	interval_float = ltt_time_to_double(window_time_interval);
308711e5	281	time_float = ltt_time_to_double(time);
76a67e8a	282
76a67e8a	283	x = (guint)(time_float/interval_float Drawing->width);
f0d936c0	284
	285	}
	286
4c69e0cc	287	void drawing_refresh ( Drawing_t *Drawing,
847b479d	288	guint x, guint y,
	289	guint width, guint height)
	290	{
f7afe191	291	GdkRectangle update_rect;
f7afe191	292
847b479d	293	gdk_draw_drawable(
	294	Drawing->Drawing_Area_V->window,
	295	Drawing->Drawing_Area_V->
	296	style->fg_gc[GTK_WIDGET_STATE (Drawing->Drawing_Area_V)],
	297	GDK_DRAWABLE(Drawing->Pixmap),
	298	x, y,
	299	x, y,
	300	width, height);
f7afe191	301
	302	update_rect.x = 0 ;
	303	update_rect.y = 0 ;
	304	update_rect.width = Drawing->width;
	305	update_rect.height = Drawing->height ;
	306	gtk_widget_draw( Drawing->Drawing_Area_V, &update_rect);
	307
847b479d	308	}
	309
	310
4c69e0cc	311	void drawing_draw_line( Drawing_t *Drawing,
847b479d	312	GdkPixmap *Pixmap,
	313	guint x1, guint y1,
	314	guint x2, guint y2,
	315	GdkGC *GC)
	316	{
	317	gdk_draw_line (Pixmap,
	318	GC,
	319	x1, y1, x2, y2);
	320	}
	321
	322
fa2c4dbe	323
fa2c4dbe	324
4c69e0cc	325	void drawing_resize(Drawing_t *Drawing, guint h, guint w)
f0d936c0	326	{
f0d936c0	327	Drawing->height = h ;
76a67e8a	328	Drawing->width = w ;
f0d936c0	329
76a67e8a	330	gtk_widget_set_size_request ( Drawing->Drawing_Area_V,
76a67e8a	331	Drawing->width,
f0d936c0	332	Drawing->height);
	333
	334
	335	}
847b479d	336
847b479d	337
5f16133f	338	/* Insert a square corresponding to a new process in the list */
5f16133f	339	/* Applies to whole Drawing->width */
4c69e0cc	340	void drawing_insert_square(Drawing_t *Drawing,
5f16133f	341	guint y,
	342	guint height)
	343	{
	344	GdkRectangle update_rect;
	345
	346	/* Allocate a new pixmap with new height */
	347	GdkPixmap *Pixmap = gdk_pixmap_new(Drawing->Drawing_Area_V->window,
	348	Drawing->width,
	349	Drawing->height + height,
	350	-1);
	351
	352	/* Copy the high region */
	353	gdk_draw_drawable (Pixmap,
	354	Drawing->Drawing_Area_V->style->black_gc,
	355	Drawing->Pixmap,
	356	0, 0,
	357	0, 0,
	358	Drawing->width, y);
	359
	360
	361
	362
	363	/* add an empty square */
	364	gdk_draw_rectangle (Pixmap,
1ab3d149	365	Drawing->Drawing_Area_V->style->black_gc,
5f16133f	366	TRUE,
	367	0, y,
	368	Drawing->width, // do not overlap
	369	height);
	370
	371
	372
	373	/* copy the bottom of the region */
	374	gdk_draw_drawable (Pixmap,
	375	Drawing->Drawing_Area_V->style->black_gc,
	376	Drawing->Pixmap,
	377	0, y,
	378	0, y + height,
	379	Drawing->width, Drawing->height - y);
	380
	381
	382
	383
	384	if (Drawing->Pixmap)
	385	gdk_pixmap_unref(Drawing->Pixmap);
	386
	387	Drawing->Pixmap = Pixmap;
	388
	389	Drawing->height+=height;
	390
	391	/* Rectangle to update, from new Drawing dimensions */
	392	update_rect.x = 0 ;
	393	update_rect.y = y ;
	394	update_rect.width = Drawing->width;
	395	update_rect.height = Drawing->height - y ;
	396	gtk_widget_draw( Drawing->Drawing_Area_V, &update_rect);
	397	}
	398
	399
	400	/* Remove a square corresponding to a removed process in the list */
4c69e0cc	401	void drawing_remove_square(Drawing_t *Drawing,
5f16133f	402	guint y,
	403	guint height)
	404	{
	405	GdkRectangle update_rect;
	406
	407	/* Allocate a new pixmap with new height */
	408	GdkPixmap *Pixmap = gdk_pixmap_new(
	409	Drawing->Drawing_Area_V->window,
	410	Drawing->width,
	411	Drawing->height - height,
	412	-1);
	413
	414	/* Copy the high region */
	415	gdk_draw_drawable (Pixmap,
	416	Drawing->Drawing_Area_V->style->black_gc,
	417	Drawing->Pixmap,
	418	0, 0,
	419	0, 0,
	420	Drawing->width, y);
	421
	422
	423
	424	/* Copy up the bottom of the region */
	425	gdk_draw_drawable (Pixmap,
	426	Drawing->Drawing_Area_V->style->black_gc,
	427	Drawing->Pixmap,
	428	0, y + height,
	429	0, y,
	430	Drawing->width, Drawing->height - y - height);
	431
	432
	433	if (Drawing->Pixmap)
	434	gdk_pixmap_unref(Drawing->Pixmap);
	435
	436	Drawing->Pixmap = Pixmap;
	437
	438	Drawing->height-=height;
	439
	440	/* Rectangle to update, from new Drawing dimensions */
	441	update_rect.x = 0 ;
	442	update_rect.y = y ;
	443	update_rect.width = Drawing->width;
	444	update_rect.height = Drawing->height - y ;
	445	gtk_widget_draw( Drawing->Drawing_Area_V, &update_rect);
	446	}
189a5d08	447
189a5d08	448