summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
432a706)
double ratio;
TimeInterval *time_span;
LttTime time;
double ratio;
TimeInterval *time_span;
LttTime time;
+
+ // MD : removed time width modification upon resizing of the main window.
+ // The viewers will redraw themselves completely, without time interval
+ // modification.
+/* while(tab){
if(mw_data->window_width){
time_span = LTTV_TRACESET_CONTEXT(tab->traceset_info->traceset_context)->Time_Span ;
time_win = tab->time_window;
if(mw_data->window_width){
time_span = LTTV_TRACESET_CONTEXT(tab->traceset_info->traceset_context)->Time_Span ;
time_win = tab->time_window;
}
mw_data->window_width = (int)width;
}
mw_data->window_width = (int)width;
/* Create a new backing pixmap of the appropriate size */
/* Create a new backing pixmap of the appropriate size */
+/* As the scaling will always change, it's of no use to copy old
+ * pixmap.
+ */
static gboolean
configure_event( GtkWidget *widget, GdkEventConfigure *event,
gpointer user_data)
static gboolean
configure_event( GtkWidget *widget, GdkEventConfigure *event,
gpointer user_data)
* executed.
*/
get_time_window(Drawing->Control_Flow_Data->Parent_Window,
* executed.
*/
get_time_window(Drawing->Control_Flow_Data->Parent_Window,
- &Drawing->Control_Flow_Data->Time_Window);
-
+ &Drawing->Control_Flow_Data->Time_Window);
+
/* New Pixmap, size of the configure event */
/* New Pixmap, size of the configure event */
- GdkPixmap *Pixmap = gdk_pixmap_new(widget->window,
- widget->allocation.width + SAFETY,
- widget->allocation.height + SAFETY,
- -1);
+ //GdkPixmap *Pixmap = gdk_pixmap_new(widget->window,
+ // widget->allocation.width + SAFETY,
+ // widget->allocation.height + SAFETY,
+ // -1);
g_critical("drawing configure event");
g_critical("drawing configure event");
+ g_critical("New draw size : %i by %i",widget->allocation.width, widget->allocation.height);
+
+
+ if (Drawing->Pixmap)
+ gdk_pixmap_unref(Drawing->Pixmap);
+
/* If no old Pixmap present */
/* If no old Pixmap present */
- if(Drawing->Pixmap == NULL)
+ //if(Drawing->Pixmap == NULL)
{
Drawing->Pixmap = gdk_pixmap_new(
widget->window,
{
Drawing->Pixmap = gdk_pixmap_new(
widget->window,
-1);
Drawing->width = widget->allocation.width;
Drawing->height = widget->allocation.height;
-1);
Drawing->width = widget->allocation.width;
Drawing->height = widget->allocation.height;
// Clear the image
gdk_draw_rectangle (Drawing->Pixmap,
// Clear the image
gdk_draw_rectangle (Drawing->Pixmap,
widget->allocation.width+SAFETY,
widget->allocation.height+SAFETY);
widget->allocation.width+SAFETY,
widget->allocation.height+SAFETY);
- g_info("init data request");
+ //g_info("init data request");
/* Initial data request */
/* Initial data request */
+ // Do not need to ask for data of 1 pixel : not synchronized with
+ // main window time at this moment.
drawing_data_request(Drawing, &Drawing->Pixmap, 0, 0,
widget->allocation.width,
widget->allocation.height);
drawing_data_request(Drawing, &Drawing->Pixmap, 0, 0,
widget->allocation.width,
widget->allocation.height);
+
+ Drawing->width = widget->allocation.width;
+ Drawing->height = widget->allocation.height;
+
+ return TRUE;
+
+
// /* Draw empty background */
// gdk_draw_rectangle (Pixmap,
// widget->style->black_gc,
// /* Draw empty background */
// gdk_draw_rectangle (Pixmap,
// widget->style->black_gc,
// widget->allocation.width,
// widget->allocation.height);
// 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);
-
+ /* Copy old data to new pixmap */
+ gdk_draw_drawable (Pixmap,
+ widget->style->white_gc,
+ Drawing->Pixmap,
+ 0, 0,
+ 0, 0,
+ -1, -1);
+
if (Drawing->Pixmap)
gdk_pixmap_unref(Drawing->Pixmap);
if (Drawing->Pixmap)
gdk_pixmap_unref(Drawing->Pixmap);
0, Drawing->height+SAFETY,
Drawing->width+SAFETY, // do not overlap
(widget->allocation.height) - Drawing->height);
0, Drawing->height+SAFETY,
Drawing->width+SAFETY, // do not overlap
(widget->allocation.height) - Drawing->height);
// Clear the right part of the image (SAFETY)
gdk_draw_rectangle (Pixmap,
widget->style->white_gc,
// Clear the right part of the image (SAFETY)
gdk_draw_rectangle (Pixmap,
widget->style->white_gc,
Drawing->width + SAFETY, 0,
widget->allocation.width - Drawing->width, // do not overlap
widget->allocation.height+SAFETY);
Drawing->width + SAFETY, 0,
widget->allocation.width - Drawing->width, // do not overlap
widget->allocation.height+SAFETY);
/* Request data for missing space */
g_info("missing data request");
drawing_data_request(Drawing, &Pixmap, Drawing->width, 0,
widget->allocation.width - Drawing->width,
widget->allocation.height);
/* Request data for missing space */
g_info("missing data request");
drawing_data_request(Drawing, &Pixmap, Drawing->width, 0,
widget->allocation.width - Drawing->width,
widget->allocation.height);
- // we do not request data vertically!
-// 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);
Drawing->width = widget->allocation.width;
Drawing->height = widget->allocation.height;
return TRUE;
Drawing->width = widget->allocation.width;
Drawing->height = widget->allocation.height;
return TRUE;
- GdkRectangle update_rect;
+ //GdkRectangle update_rect;
/* Allocate a new pixmap with new height */
GdkPixmap *Pixmap = gdk_pixmap_new(Drawing->Drawing_Area_V->window,
/* Allocate a new pixmap with new height */
GdkPixmap *Pixmap = gdk_pixmap_new(Drawing->Drawing_Area_V->window,
Drawing->Pixmap,
0, y,
0, y + height,
Drawing->Pixmap,
0, y,
0, y + height,
- Drawing->width, Drawing->height - y + SAFETY);
+ Drawing->width+SAFETY, Drawing->height - y + SAFETY);
Drawing->height+=height;
/* Rectangle to update, from new Drawing dimensions */
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);
+ //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);
- GdkRectangle update_rect;
+ //GdkRectangle update_rect;
/* Allocate a new pixmap with new height */
GdkPixmap *Pixmap = gdk_pixmap_new(
/* Allocate a new pixmap with new height */
GdkPixmap *Pixmap = gdk_pixmap_new(
Drawing->height-=height;
/* Rectangle to update, from new Drawing dimensions */
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);
+ //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);
TimeWindow *Old_Time_Window =
guicontrolflow_get_time_window(control_flow_data);
TimeWindow *New_Time_Window = ((TimeWindow*)call_data);
TimeWindow *Old_Time_Window =
guicontrolflow_get_time_window(control_flow_data);
TimeWindow *New_Time_Window = ((TimeWindow*)call_data);
/* Two cases : zoom in/out or scrolling */
/* Two cases : zoom in/out or scrolling */
/* In order to make sure we can reuse the old drawing, the scale must
* be the same and the new time interval being partly located in the
* currently shown time interval. (reuse is only for scrolling)
/* In order to make sure we can reuse the old drawing, the scale must
* be the same and the new time interval being partly located in the
* currently shown time interval. (reuse is only for scrolling)
/* Cannot reuse any part of the screen : far jump */
*Old_Time_Window = *New_Time_Window;
/* Cannot reuse any part of the screen : far jump */
*Old_Time_Window = *New_Time_Window;
gdk_draw_rectangle (control_flow_data->Drawing->Pixmap,
control_flow_data->Drawing->Drawing_Area_V->style->white_gc,
TRUE,
gdk_draw_rectangle (control_flow_data->Drawing->Pixmap,
control_flow_data->Drawing->Drawing_Area_V->style->white_gc,
TRUE,