Rafostar 7a66da1fed Add option to close player after playback

2020-12-03 11:04:37 +01:00

..

app.js

Support setting sliders brighter #13

2020-11-21 15:20:09 +01:00

buttons.js

Mobile friendly interface transitions #14

2020-12-02 10:59:02 +01:00

controls.js

Mobile friendly interface transitions #14

2020-12-02 10:59:02 +01:00

debug.js

Set min GStreamer ver warning to 1.18.x

2020-11-09 11:40:48 +01:00

dialogs.js

Customize external subtitles font

2020-11-24 17:54:53 +01:00

headerbar.js

Performance: do not draw header bar bottom border

2020-12-02 10:56:19 +01:00

menu.js

Reduce number of source files (cleanup)

2020-11-06 17:04:54 +01:00

misc.js

Use cubic scale for volume. Fixes #21

2020-11-30 09:26:27 +01:00

player.js

Add option to close player after playback

2020-12-03 11:04:37 +01:00

playerBase.js

Temporarly take a ref on player

2020-11-30 22:18:02 +01:00

prefs.js

Add option to close player after playback

2020-12-03 11:04:37 +01:00

prefsBase.js

Customize external subtitles font

2020-11-24 17:54:53 +01:00

revealers.js

Mobile friendly interface transitions #14

2020-12-02 10:59:02 +01:00

widget.js

Add option to close player after playback

2020-12-03 11:04:37 +01:00