Add Gtk app

2025-09-01 08:51:59 +02:00 · 2020-08-31 20:47:10 +02:00
parent 734471475f
commit 918ba34885
6 changed files with 321 additions and 4 deletions
--- a/clapper_src/interface.js
+++ b/clapper_src/interface.js
@@ -0,0 +1,124 @@
+const { GObject, Gtk, GstPlayer } = imports.gi;
+const { Controls } = imports.clapper_src.controls;
+
+var Interface = GObject.registerClass(
+class ClapperInterface extends Gtk.Grid
+{
+    _init()
+    {
+        super._init();
+
+        this.lastPositionValue = 0;
+
+        this.controls = new Controls();
+        this.attach(this.controls, 0, 1, 1, 1);
+    }
+
+    addPlayer(player)
+    {
+        this._player = player;
+        this._player.widget.expand = true;
+        this._connectControlsToPlayer();
+
+        this.attach(this._player.widget, 0, 0, 1, 1);
+    }
+
+    _connectControlsToPlayer()
+    {
+        this._player.connect('state-changed', this._onPlayerStateChanged.bind(this));
+        this._player.connect('volume-changed', this._onPlayerVolumeChanged.bind(this));
+        this._player.connect('duration-changed', this._onPlayerDurationChanged.bind(this));
+        this._player.connect('position-updated', this._onPlayerPositionUpdated.bind(this));
+
+        this.controls.togglePlayButton.connect(
+            'clicked', this._onControlsTogglePlayClicked.bind(this)
+        );
+        this.controls.positionScale.connect(
+            'value-changed', this._onControlsPositionChanged.bind(this)
+        );
+        this.controls.volumeButton.connect(
+            'value-changed', this._onControlsVolumeChanged.bind(this)
+        );
+    }
+
+    _onPlayerStateChanged(player, state)
+    {
+        switch(state) {
+            case GstPlayer.PlayerState.STOPPED:
+                break;
+            case GstPlayer.PlayerState.BUFFERING:
+                break;
+            case GstPlayer.PlayerState.PAUSED:
+                this.controls.togglePlayButton.image = this.controls.playImage;
+                break;
+            case GstPlayer.PlayerState.PLAYING:
+                this.controls.togglePlayButton.image = this.controls.pauseImage;
+                break;
+            default:
+                break;
+        }
+    }
+
+    _onPlayerDurationChanged(player)
+    {
+        let duration = player.get_duration() / 1000000000;
+        let increment = (duration < 1)
+            ? 0
+            : (duration < 100)
+            ? 1
+            : duration / 100;
+
+        let adjustment = new Gtk.Adjustment({
+            upper: duration,
+            step_increment: increment,
+            page_increment: increment
+        });
+        this.controls.positionScale.set_adjustment(adjustment);
+    }
+
+    _onPlayerPositionUpdated(player, position)
+    {
+        let positionSeconds = position / 1000000000;
+        let positionFloor = Math.floor(positionSeconds);
+
+        if(positionFloor === this.lastPositionValue)
+            return;
+
+        this.lastPositionValue = positionFloor;
+        this.controls.positionScale.set_value(positionSeconds);
+    }
+
+    _onPlayerVolumeChanged(player)
+    {
+        let volume = player.get_volume();
+
+        if(this.controls.volumeButton.value === volume)
+            return;
+
+        this.controls.volumeButton.value = volume;
+    }
+
+    _onControlsTogglePlayClicked()
+    {
+        this._player.toggle_play();
+    }
+
+    _onControlsPositionChanged(range)
+    {
+        let position = Math.floor(range.get_value());
+
+        if(position === this.lastPositionValue)
+            return;
+
+        this.lastPositionValue = position;
+        this._player.seek_seconds(position);
+    }
+
+    _onControlsVolumeChanged(widget, value)
+    {
+        if(this._player.get_volume() === value)
+            return;
+
+        this._player.set_volume(value);
+    }
+});