+
+GtkWidget *Drawing_getWidget(Drawing_t *Drawing);
+
+//void Drawing_Refresh ( Drawing_t *Drawing,
+// guint x, guint y,
+// guint width, guint height);
+
+void Drawing_draw_line( Drawing_t *Drawing,
+ GdkPixmap *Pixmap,
+ guint x1, guint y1,
+ guint x2, guint y2,
+ GdkGC *GC);
+
+//void Drawing_copy( Drawing_t *Drawing,
+// guint xsrc, guint ysrc,
+// guint xdest, guint ydest,
+// guint width, guint height);
+
+/* Insert a square corresponding to a new process in the list */
+void Drawing_Insert_Square(Drawing_t *Drawing,
+ guint y,
+ guint height);
+
+/* Remove a square corresponding to a removed process in the list */
+void Drawing_Remove_Square(Drawing_t *Drawing,
+ guint y,
+ guint height);