/// @brief Recalculate video positioning and scaling when the available area or zoom changes
/// @param event
voidOnSizeEvent(wxSizeEvent&event);
/// @brief Copy coordinates of the mouse to the clipboard
voidOnCopyCoords(wxCommandEvent&);
/// @brief Copy the currently display frame to the clipboard, with subtitles
voidOnCopyToClipboard(wxCommandEvent&);
/// @brief Save the currently display frame to a file, with subtitles
voidOnSaveSnapshot(wxCommandEvent&);
/// @brief Copy the currently display frame to the clipboard, without subtitles
voidOnCopyToClipboardRaw(wxCommandEvent&);
/// @brief Save the currently display frame to a file, without subtitles
voidOnSaveSnapshotRaw(wxCommandEvent&);
/// The current zoom level, where 1.0 = 100%
doublezoomValue;
/// The video position slider
VideoSlider*ControlSlider;
/// The display for the the video position relative to the current subtitle line
wxTextCtrl*SubsPosition;
/// The display for the absolute time of the video position
wxTextCtrl*PositionDisplay;
/// The video renderer
std::auto_ptr<VideoOutGL>videoOut;
/// The active visual typesetting tool
std::auto_ptr<IVisualTool>tool;
/// The current tool's ID
intactiveMode;
/// The toolbar used by individual typesetting tools
wxToolBar*toolBar;
voidOnMode(constwxCommandEvent&event);
voidSetMode(intmode);
/// @brief Switch the active tool to a new object of the specified class
/// @param T The class of the new visual typsetting tool
template<classT>voidSetTool();
/// The current script width
intscriptW;
/// The current script height
intscriptH;
VideoStatevideo;
public:
/// The VideoBox this display is contained in
VideoBox*box;
/// The dropdown box for selecting zoom levels
wxComboBox*zoomBox;
/// Whether the display can be freely resized by the user
boolfreeSize;
/// @brief Constructor
/// @param parent Pointer to a parent window.
/// @param id Window identifier. If -1, will automatically create an identifier.
/// @param pos Window position. wxDefaultPosition is (-1, -1) which indicates that wxWidgets should generate a default position for the window.
/// @param size Window size. wxDefaultSize is (-1, -1) which indicates that wxWidgets should generate a default size for the window. If no suitable size can be found, the window will be sized to 20x20 pixels so that the window is visible but obviously not correctly sized.