Jannik fa6419bb02 if a media was already fully loaded, don't load it again for ... Since medias are cached in memory it is unnecessary to load them if they have been fully loaded once before		2020-10-15 18:57:58 +02:00
..
parser	if a media was already fully loaded, don't load it again for	2020-10-15 18:57:58 +02:00
preferences	add player	2020-10-11 13:18:20 +02:00
ui	fix movie parsing	2020-10-15 18:51:29 +02:00
util	if a media was already fully loaded, don't load it again for	2020-10-15 18:57:58 +02:00
MainActivity.kt	fix movie parsing	2020-10-15 18:51:29 +02:00
PlayerActivity.kt	resume to position if player was in background, keep screen on in player	2020-10-11 15:19:42 +02:00