12 #define SAFETY 50 // safety pixels at right and bottom of pixmap buffer
14 /* This part of the viewer does :
15 * Draw horizontal lines, getting graphic context as arg.
16 * Copy region of the screen into another.
17 * Modify the boundaries to reflect a scale change. (resize)
18 * Refresh the physical screen with the pixmap
19 * A helper function is provided here to convert from time to process
20 * identifier to pixels and the contrary (will be useful for mouse selection).
21 * Insert an empty square in the drawing, moving the bottom part.
23 * Note: The last point is exactly why it would not be so easy to add the
24 * vertical line functionnality as in the original version of LTT. In order
25 * to do so, we should keep all processes in the list for the duration of
26 * all the trace instead of dynamically adding and removing them when we
27 * scroll. Another possibility is to redraw all the visible area when a new
28 * process is added to the list. The second solution seems more appropriate
32 * The pixmap used has the width of the physical window, but the height
33 * of the shown processes.
36 typedef struct _Drawing_t Drawing_t
;
39 GtkWidget
*Drawing_Area_V
;
41 ControlFlowData
*Control_Flow_Data
;
43 gint height
, width
, depth
;
47 Drawing_t
*drawing_construct(ControlFlowData
*Control_Flow_Data
);
48 void drawing_destroy(Drawing_t
*Drawing
);
50 GtkWidget
*drawing_get_widget(Drawing_t
*Drawing
);
52 //void Drawing_Refresh ( Drawing_t *Drawing,
54 // guint width, guint height);
56 void drawing_draw_line( Drawing_t
*Drawing
,
62 //void Drawing_copy( Drawing_t *Drawing,
63 // guint xsrc, guint ysrc,
64 // guint xdest, guint ydest,
65 // guint width, guint height);
67 /* Insert a square corresponding to a new process in the list */
68 void drawing_insert_square(Drawing_t
*Drawing
,
72 /* Remove a square corresponding to a removed process in the list */
73 void drawing_remove_square(Drawing_t
*Drawing
,
78 //void Drawing_Resize(Drawing_t *Drawing, guint h, guint w);
80 void convert_pixels_to_time(
83 LttTime
*window_time_begin
,
84 LttTime
*window_time_end
,
87 void convert_time_to_pixels(
88 LttTime window_time_begin
,
89 LttTime window_time_end
,