Show playback time and switch to dark mode when fullscreen

This commit is contained in:
Rafostar
2020-09-05 13:49:44 +02:00
parent e76d1c9e6e
commit 7d2edec553
3 changed files with 49 additions and 7 deletions

View File

@@ -32,7 +32,8 @@ class ClapperInterface extends Gtk.Grid
valign: Gtk.Align.END,
});
this.revealerBox = new Gtk.Box();
this.revealerBox.get_style_context().add_class('background');
let revealerContext = this.revealerBox.get_style_context();
revealerContext.add_class('osd');
this.revealer.add(this.revealerBox);
this.attach(this.overlay, 0, 0, 1, 1);
@@ -250,6 +251,8 @@ class ClapperInterface extends Gtk.Grid
this.controls.positionAdjustment.set_upper(duration);
this.controls.positionAdjustment.set_step_increment(increment);
this.controls.positionAdjustment.set_page_increment(increment);
this.controls.durationFormated = this.controls._getFormatedTime(duration);
}
_onPlayerPositionUpdated(player, position)