//viewTimeFrameWindow* ViewTimeFrameWindow;/*Window to select time frame */
//gotoEventWindow* GotoEventWindow; /*search for event description*/
//openFilterWindow* OpenFilterWindow; /* Open a filter selection window */
//viewTimeFrameWindow* ViewTimeFrameWindow;/*Window to select time frame */
//gotoEventWindow* GotoEventWindow; /*search for event description*/
//openFilterWindow* OpenFilterWindow; /* Open a filter selection window */
- GtkWidget* HelpContents;/* Window to display help contents */
- GtkWidget* AboutBox; /* Window about information */
+ GtkWidget* help_contents;/* Window to display help contents */
+ GtkWidget* about_box; /* Window about information */
// lttv_trace_filter * filter; /* trace filter associated with the window */
/* Traceset related information */
// lttv_trace_filter * filter; /* trace filter associated with the window */
/* Traceset related information */
GtkWidget * label;
GtkCustom * custom;
// startTime is the left of the visible area. Corresponds to the scrollbar
// value.
// Time_Width is a zoom dependant value (corresponding to page size)
GtkWidget * label;
GtkCustom * custom;
// startTime is the left of the visible area. Corresponds to the scrollbar
// value.
// Time_Width is a zoom dependant value (corresponding to page size)
// The current time is the time selected in the visible area by the user,
// not the scrollbar value.
// The current time is the time selected in the visible area by the user,
// not the scrollbar value.