Private data for the LogPlayView class. More...
#include <LogPlayWidgetPrivate.hh>
Public Attributes | |
CurrentTimeItem * | currentTimeItem |
Item which indicates the current time. More... | |
common::Time | endTime |
End time in milliseconds. More... | |
bool | endTimeSet |
Log end time has been set or not. More... | |
int | margin |
Margin from the ends. More... | |
int | sceneHeight |
Height of this view's scene. More... | |
int | sceneWidth |
Width of this view's scene. More... | |
common::Time | startTime |
Start time in milliseconds. More... | |
bool | startTimeSet |
Log start time has been set or not. More... | |
bool | timelineDrawn = false |
Whether the timeline has already been drawn. More... | |
Private data for the LogPlayView class.
CurrentTimeItem* gazebo::gui::LogPlayViewPrivate::currentTimeItem |
Item which indicates the current time.
common::Time gazebo::gui::LogPlayViewPrivate::endTime |
End time in milliseconds.
bool gazebo::gui::LogPlayViewPrivate::endTimeSet |
Log end time has been set or not.
int gazebo::gui::LogPlayViewPrivate::margin |
Margin from the ends.
int gazebo::gui::LogPlayViewPrivate::sceneHeight |
Height of this view's scene.
int gazebo::gui::LogPlayViewPrivate::sceneWidth |
Width of this view's scene.
common::Time gazebo::gui::LogPlayViewPrivate::startTime |
Start time in milliseconds.
bool gazebo::gui::LogPlayViewPrivate::startTimeSet |
Log start time has been set or not.
bool gazebo::gui::LogPlayViewPrivate::timelineDrawn = false |
Whether the timeline has already been drawn.