From ea2368d12a5d4cc0899b927bf665386ef47a1bd8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=96ppen?= Date: Wed, 26 Aug 2020 16:41:48 +0100 Subject: [PATCH] fix audio player, remove copy address menu item (share has same functionality), make .txt files selectable --- .idea/gradle.xml | 1 + .../oppen/tva/io/gemini/GeminiDatasource.kt | 27 +++++++++---------- app/src/main/java/oppen/tva/ui/TvaActivity.kt | 15 ----------- .../oppen/tva/ui/audio_player/AudioPlayer.kt | 1 + .../main/res/layout/dialog_content_text.xml | 4 ++- app/src/main/res/menu/overflow_menu.xml | 3 --- 6 files changed, 17 insertions(+), 34 deletions(-) diff --git a/.idea/gradle.xml b/.idea/gradle.xml index b9f8a5e..ac6b0ae 100644 --- a/.idea/gradle.xml +++ b/.idea/gradle.xml @@ -1,5 +1,6 @@ +