40 ,Gdl::DockItem& dockItem)
41 :
Panel{panelManager, dockItem, getTitle(), getStockID()}
43 , buttonStop_{StockID(GTK_STOCK_MEDIA_STOP)}
44 , buttonPlay_{StockID(GTK_STOCK_MEDIA_PLAY)}
45 , buttonPause_{StockID(GTK_STOCK_MEDIA_PAUSE)}
50 pack_start(
buttons_, Gtk::PACK_SHRINK);
77 int panelID = workspace::PanelManager::findPanelID<ViewerPanel>();
void connect(TAR &otherTarget)
(re)connect this smart link to the given target.
The base class for all dockable panels.
workspace::PanelManager & panelManager_
The owner panel manager object.
widget::MiniButton buttonPause_
widget::MiniButton buttonPlay_
static const char * getTitle()
ViewLink & accessViewer()
static const gchar * getStockID()
widget::ButtonBar buttons_
widget::MiniButton buttonStop_
PlayPanel(workspace::PanelManager &, Gdl::DockItem &)
A panel to display the video output.
ctrl::DemoController demoPlayback_
A class to manage DockItem objects for WorkspaceWindow.
bool hasPanel(const int description_index)
was the indicated panel already allocated within this PanelManager's realm?
panel::Panel & showPanel(const int description_index)
Shows a panel given a description index.
A set of basic GTK includes for the UI.
Lumiera GTK UI implementation root.
Definition of a dockable panel for playback control //////////////////////////////////////////////TIC...
Under construction: the top level UI controller.
Definition of a dockable panel to hold a video viewer.
This file contains the definition of the main workspace window parent, which is the toplevel parent o...