Let users pick media player apps

2023-04-16 18:38:15 +02:00
parent c686fa25c1
commit c59fa5b667
7 changed files with 194 additions and 55 deletions
@@ -550,6 +550,7 @@
    <string name="preference_screen_widgets_summary">Configure widgets</string>
    <string name="preference_screen_weatherwidget">Weather</string>
    <string name="preference_screen_musicwidget">Music</string>
+    <string name="preference_category_media_apps">Media apps</string>
    <string name="preference_screen_clockwidget">Clock</string>
    <string name="preference_screen_clockwidget_summary">Configure clock style and components</string>
    <string name="preference_clockwidget_layout">Layout</string>
@@ -34,7 +34,6 @@ fun createFactorySettings(context: Context): Settings {
        .setMusicWidget(
            Settings.MusicWidgetSettings
                .newBuilder()
-                .setFilterSources(true)
                .build()
        )
        .setCalendarWidget(
@@ -97,7 +97,9 @@ message Settings {
  WeatherSettings weather = 5;

  message MusicWidgetSettings {
-    bool filter_sources = 1;
+    reserved 1;
+    repeated string allow_list = 2;
+    repeated string deny_list = 3;
  }
  MusicWidgetSettings music_widget = 6;