mirror of
https://github.com/aniyomiorg/aniyomi.git
synced 2024-11-21 20:27:06 +03:00
Merge branch 'master' into MR
This commit is contained in:
commit
72a54cbb6e
2 changed files with 5 additions and 1 deletions
4
.github/workflows/build_push.yml
vendored
4
.github/workflows/build_push.yml
vendored
|
@ -1,4 +1,8 @@
|
||||||
name: CI
|
name: CI
|
||||||
|
|
||||||
|
permissions:
|
||||||
|
contents: write
|
||||||
|
|
||||||
on:
|
on:
|
||||||
push:
|
push:
|
||||||
branches:
|
branches:
|
||||||
|
|
|
@ -138,7 +138,7 @@ class PlayerViewModel @JvmOverloads constructor(
|
||||||
/**
|
/**
|
||||||
* The position in the current video. Used to restore from process kill.
|
* The position in the current video. Used to restore from process kill.
|
||||||
*/
|
*/
|
||||||
private var episodePosition = savedState.get<Long>("episode_position") ?: 0L
|
private var episodePosition = savedState.get<Long>("episode_position")
|
||||||
set(value) {
|
set(value) {
|
||||||
savedState["episode_position"] = value
|
savedState["episode_position"] = value
|
||||||
field = value
|
field = value
|
||||||
|
|
Loading…
Reference in a new issue