#include <player_common.h>
Data Fields | |
GtkWidget * | window |
Main window. | |
GtkWidget * | button_play |
Play button. | |
GtkWidget * | button_stop |
Stop button. | |
GtkWidget * | button_step_forward |
Step forward button. | |
GtkWidget * | button_step_backward |
Step backward button. | |
GtkWidget * | speed_scale |
Speed scale. | |
GtkAdjustment * | speed_adjustment |
Speed scale adjustment. | |
GtkAdjustment * | layout_hadjust |
Layout horizontal adjustment. | |
GtkAdjustment * | layout_vadjust |
Layout vertical adjustment. | |
GtkWidget * | main_vbox |
Main vertical box. | |
GtkWidget * | buttons_hbox |
GUI header horizontal box. | |
GtkWidget * | speed_label |
Speed label. | |
GtkWidget * | layout |
Main layout. | |
GtkWidget * | scrolled |
Main scrolled view. | |
GtkAdjustment * | scrolled_hadjust |
Scrolled view horizontal adjustment. | |
GtkAdjustment * | scrolled_vadjust |
Scrolled view vertical adjustment. | |
GtkWidget ** | zone |
Vector of drawing areas to draw the time bar. | |
GdkPixmap ** | zone_backup |
Not in use. | |
GtkWidget ** | time_labels |
Labels that indicate the time. | |
GtkWidget * | marker |
Vertical marker that corresponds to the current time. | |
GtkWidget * | time_mark |
... | |
GtkWidget * | status_bar |
Status bar indicating the status of the player. | |
GtkAdjustment * | zoom_adjust |
Zoom scale adjustment. | |
GtkWidget * | zoom_scale |
Zoom scale. | |
GtkWidget * | zoom_label |
Zoom label. | |
GtkWidget * | highliter |
... |
GtkWidget* struct_window::button_play |
Play button.
GtkWidget* struct_window::button_step_backward |
Step backward button.
GtkWidget* struct_window::button_step_forward |
Step forward button.
GtkWidget* struct_window::button_stop |
Stop button.
GtkWidget* struct_window::buttons_hbox |
GUI header horizontal box.
GtkWidget* struct_window::highliter |
...
GtkWidget* struct_window::layout |
Main layout.
Referenced by zoom_change().
GtkAdjustment* struct_window::layout_hadjust |
Layout horizontal adjustment.
GtkAdjustment* struct_window::layout_vadjust |
Layout vertical adjustment.
GtkWidget* struct_window::main_vbox |
Main vertical box.
GtkWidget* struct_window::marker |
Vertical marker that corresponds to the current time.
GtkWidget* struct_window::scrolled |
Main scrolled view.
GtkAdjustment* struct_window::scrolled_hadjust |
Scrolled view horizontal adjustment.
GtkAdjustment* struct_window::scrolled_vadjust |
Scrolled view vertical adjustment.
GtkAdjustment* struct_window::speed_adjustment |
Speed scale adjustment.
GtkWidget* struct_window::speed_label |
Speed label.
GtkWidget* struct_window::speed_scale |
Speed scale.
GtkWidget* struct_window::status_bar |
Status bar indicating the status of the player.
GtkWidget** struct_window::time_labels |
Labels that indicate the time.
GtkWidget* struct_window::time_mark |
...
GtkWidget* struct_window::window |
Main window.
GtkWidget** struct_window::zone |
Vector of drawing areas to draw the time bar.
Referenced by zoom_change().
GdkPixmap** struct_window::zone_backup |
Not in use.
GtkAdjustment* struct_window::zoom_adjust |
Zoom scale adjustment.
Referenced by zoom_change().
GtkWidget* struct_window::zoom_label |
Zoom label.
GtkWidget* struct_window::zoom_scale |
Zoom scale.