From 6f658089328b9edb65a6aa637beda662c56bab40 Mon Sep 17 00:00:00 2001
From: Dennis Guse <dennis.guse@alumni.tu-berlin.de>
Date: Fri, 11 Jul 2025 20:26:13 +0200
Subject: [PATCH] Bugfix: set a default theme.

Introduced in c34e9bd7

Part of #2123.
---
 src/main/AndroidManifest.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main/AndroidManifest.xml b/src/main/AndroidManifest.xml
index 57e8fbb67..f0939f3d2 100644
--- a/src/main/AndroidManifest.xml
+++ b/src/main/AndroidManifest.xml
@@ -79,7 +79,8 @@ limitations under the License.
         android:hasFragileUserData="false"
         android:icon="@drawable/ic_launcher"
         android:label="@string/app_name"
-        android:supportsRtl="true">
+        android:supportsRtl="true"
+        android:theme="@style/DayNightDynamicTheme"> <!-- Default for AppCompatActivities -->
 
         <activity
             android:name=".publicapi.StartRecording"