[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>


#define g_info(format...) g_log (G_LOG_DOMAIN, G_LOG_LEVEL_INFO, format)
#define g_debug(format...) g_log (G_LOG_DOMAIN, G_LOG_LEVEL_DEBUG, format)


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