def __init__(self):
global video_widget
player.Player.__init__(self)
VBox.__init__(self)
if app.video_renderer is not None:
self.renderer = app.video_renderer
else:
self.renderer = NullRenderer()
self.overlay = None
if video_widget is None:
video_widget = VideoWidget(self.renderer)
self._video_widget = video_widget
self.pack_start(self._video_widget, expand=True)
self._video_details = VideoDetailsWidget()
self.pack_start(self._video_details)
self.hide_controls_timeout = None
self.motion_handler = None
self.videobox_motion_handler = None
self.hidden_cursor = make_hidden_cursor()
# piggyback on the TrackItemsManually message that playback.py sends.
app.info_updater.item_changed_callbacks.add('manual', 'playback-list',
self._on_items_changed)
self._item_id = None
self._video_widget.wrapped_widget_connect('button-press-event', self.on_button_press)
def __init__(self):
global video_widget
player.Player.__init__(self)
VBox.__init__(self)
if app.video_renderer is not None:
self.renderer = app.video_renderer
else:
self.renderer = NullRenderer()
self.overlay = None
self.screensaver_manager = None
if video_widget is None:
video_widget = VideoWidget(self.renderer)
self._video_widget = video_widget
self.pack_start(self._video_widget, expand=True)
self._video_details = VideoDetailsWidget()
self.pack_start(self._video_details)
self.hide_controls_timeout = None
self.motion_handler = None
self.videobox_motion_handler = None
self.hidden_cursor = make_hidden_cursor()
# piggyback on the TrackItemsManually message that playback.py sends.
app.info_updater.item_changed_callbacks.add('manual', 'playback-list',
self._on_items_changed)
self._item_id = None
self._video_widget.wrapped_widget_connect(
'button-press-event', self.on_button_press)
def __init__(self):
player.Player.__init__(self)
VBox.__init__(self)
if app.video_renderer is not None:
self.renderer = app.video_renderer
else:
self.renderer = NullRenderer()
self.overlay = None
self.screensaver_manager = None
self._video_widget = videoembed.VideoWidget(self.renderer)
self.pack_start(self._video_widget, expand=True)
self._video_details = VideoDetailsWidget()
self.pack_start(self._video_details)
self.hide_controls_timeout = None
self.hidden_cursor = make_hidden_cursor()
# piggyback on the TrackItemsManually message that playback.py sends.
app.info_updater.item_changed_callbacks.add('manual', 'playback-list',
self._on_items_changed)
self._item_id = None
self._video_widget.connect('double-click', self.on_double_click)
self._video_widget.connect('mouse-motion', self.on_mouse_motion)
def __init__(self):
player.GTKPlayer.__init__(self, app.video_renderer)
VBox.__init__(self)
self.overlay = None
self.screensaver_manager = None
self._video_widget = videoembed.VideoWidget(self.renderer)
self.pack_start(self._video_widget, expand=True)
self._video_details = VideoDetailsWidget()
self.pack_start(self._video_details)
self.hide_controls_timeout = None
self._video_widget.connect('double-click', self.on_double_click)
self._video_widget.connect('mouse-motion', self.on_mouse_motion)
def __init__(self):
player.GTKPlayer.__init__(self, app.video_renderer)
VBox.__init__(self)
self.overlay = None
self.screensaver_manager = None
self._video_widget = videoembed.VideoWidget(self.renderer)
self.pack_start(self._video_widget, expand=True)
self._video_details = VideoDetailsWidget()
self.pack_start(self._video_details)
self.hide_controls_timeout = None
self._video_widget.connect('double-click', self.on_double_click)
self._video_widget.connect('mouse-motion', self.on_mouse_motion)
def __init__(self):
player.GTKPlayer.__init__(self, app.video_renderer)
VBox.__init__(self)
self.overlay = None
self.screensaver_manager = None
self._video_widget = videoembed.VideoWidget(self.renderer)
self.pack_start(self._video_widget, expand=True)
self._video_details = VideoDetailsWidget()
self.pack_start(self._video_details)
self.hide_controls_timeout = None
# piggyback on the TrackItemsManually message that playback.py sends.
app.info_updater.item_changed_callbacks.add('manual', 'playback-list',
self._on_items_changed)
self._item_id = None
self._video_widget.connect('double-click', self.on_double_click)
self._video_widget.connect('mouse-motion', self.on_mouse_motion)
class VideoOverlay(Window):
def __init__(self):
Window.__init__(self, "Miro Video Overlay")
self._window.set_transient_for(_window())
self.vbox = VBox()
self.set_content_widget(self.vbox)
def _make_gtk_window(self):
return WrappedWindow(gtk.WINDOW_POPUP)
def position_on_screen(self):
window = self._window
parent_window = window.get_transient_for()
screen = parent_window.get_screen()
monitor = screen.get_monitor_at_window(parent_window.window)
screen_rect = screen.get_monitor_geometry(monitor)
my_width, my_height = self.vbox.get_size_request()
window.set_default_size(my_width, my_height)
window.resize(screen_rect.width, my_height)
window.move(screen_rect.x, screen_rect.y + screen_rect.height - my_height)
class VideoOverlay(Window):
def __init__(self):
Window.__init__(self, 'Miro Video Overlay')
self._window.set_transient_for(_window())
self.vbox = VBox()
self.set_content_widget(self.vbox)
def _make_gtk_window(self):
return WrappedWindow(gtk.WINDOW_POPUP)
def position_on_screen(self):
window = self._window
parent_window = window.get_transient_for()
screen = parent_window.get_screen()
monitor = screen.get_monitor_at_window(parent_window.window)
screen_rect = screen.get_monitor_geometry(monitor)
my_width, my_height = self.vbox.get_size_request()
window.set_default_size(my_width, my_height)
window.resize(screen_rect.width, my_height)
window.move(screen_rect.x, screen_rect.y + screen_rect.height -
my_height)
def __init__(self):
Window.__init__(self, 'Miro Video Overlay')
self._window.set_transient_for(_window())
self.vbox = VBox()
self.set_content_widget(self.vbox)
def __init__(self):
Window.__init__(self, 'Miro Video Overlay')
self._window.set_transient_for(_window())
self.vbox = VBox()
self.set_content_widget(self.vbox)
