jonas/mediathek-viewer
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add duration time label

Browse Source
This commit is contained in:
Jonas Weinz 2021-01-31 13:52:26 +01:00
parent a605de6f49
commit e46dbddf36
2 changed files with 25 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/gtk_mediathek_player/main_window.py
View File

@ -60,6 +60,7 @@ class MainApp(Gtk.Window):
def _on_keypress(self, widget, event): def _on_keypress(self, widget, event):
if event.keyval == Gdk.KEY_space: if event.keyval == Gdk.KEY_space:
if self.get_active_pane() == "player":
self._player_widget.toogle_play() self._player_widget.toogle_play()
if event.keyval == Gdk.KEY_F11: if event.keyval == Gdk.KEY_F11:
self.toggle_fullscreen() self.toggle_fullscreen()

37
src/gtk_mediathek_player/player_widget.py
View File

@ -45,7 +45,14 @@ class PlayerWidget(Gtk.Overlay):
if self._duration is not None: if self._duration is not None:
self._slider.set_value(self._videoarea.get_position()) position = self._videoarea.get_position()
self._slider.set_value(position)
position_string = tools.seconds_to_timestring(int(position))
duration_string = tools.seconds_to_timestring(int(self._duration))
self._duration_text.set_markup(f"{position_string}/{duration_string}")
self._is_update = False self._is_update = False
@ -83,15 +90,7 @@ class PlayerWidget(Gtk.Overlay):
box = Gtk.Box(orientation=Gtk.Orientation.HORIZONTAL) box = Gtk.Box(orientation=Gtk.Orientation.HORIZONTAL)
self._controls = Gtk.Revealer() self._controls = Gtk.Revealer()
# bbox.pack_start(self._play_button, self._duration_text = Gtk.Label("--/--")
# expand=False,
# fill=False,
# padding=0)
# bbox.pack_start(self._stop_button,
# expand=False,
# fill=False,
# padding=0)
bbox.pack_start(self._play_pause_button, bbox.pack_start(self._play_pause_button,
expand=False, expand=False,
@ -103,11 +102,18 @@ class PlayerWidget(Gtk.Overlay):
fill=False, fill=False,
padding=0) padding=0)
box.pack_end(self._duration_text,
expand=False,
fill=False,
padding=0)
box.pack_end(self._slider, box.pack_end(self._slider,
expand=True, expand=True,
fill=True, fill=True,
padding=0) padding=0)
box.override_background_color(Gtk.StateType.NORMAL, Gdk.RGBA(.0,.0,.0,.8))
self._controls.add(box) self._controls.add(box)
self._controls.set_valign(Gtk.Align.END) self._controls.set_valign(Gtk.Align.END)
@ -115,10 +121,9 @@ class PlayerWidget(Gtk.Overlay):
self._controls.set_reveal_child(True) self._controls.set_reveal_child(True)
style_context = self._controls.get_style_context() style_context = self._controls.get_style_context()
style_context.add_class(Gtk.STYLE_CLASS_TITLEBAR) style_context.add_class(Gtk.STYLE_CLASS_OSD)
#self._play_button.connect("clicked", self.play)
#self._stop_button.connect("clicked", self.pause)
self._play_pause_button.connect("clicked", self.toogle_play) self._play_pause_button.connect("clicked", self.toogle_play)
@ -133,15 +138,19 @@ class PlayerWidget(Gtk.Overlay):
def stop(self, _=None): def stop(self, _=None):
state = self.get_state() state = self.get_state()
self._videoarea.stop()
if state == Gst.State.PLAYING or state == Gst.State.PAUSED: if state == Gst.State.PLAYING or state == Gst.State.PAUSED:
new_icon = tools.get_icon("media-playback-start") new_icon = tools.get_icon("media-playback-start")
self._play_pause_button.props.image = new_icon self._play_pause_button.props.image = new_icon
self._videoarea.stop()
self._duration = None self._duration = None
def toogle_play(self, _=None): def toogle_play(self, _=None):
state = self.get_state() state = self.get_state()
if state == Gst.State.NULL:
# do nothing
return
if state == Gst.State.PLAYING: if state == Gst.State.PLAYING:
self.pause() self.pause()