From 553fd39e21430c025422407754391e49b4ecb3ba Mon Sep 17 00:00:00 2001
From: Dennis Guse <dennis.guse@alumni.tu-berlin.de>
Date: Tue, 15 Sep 2020 17:38:54 +0200
Subject: [PATCH] Theming: make SplashScreen fullscreen.

---
 src/main/res/values/themes_custom.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/res/values/themes_custom.xml b/src/main/res/values/themes_custom.xml
index 90c3ffc62..18f415a01 100644
--- a/src/main/res/values/themes_custom.xml
+++ b/src/main/res/values/themes_custom.xml
@@ -51,5 +51,6 @@ limitations under the License.
 
     <style name="SplashTheme" parent="ThemeCustom">
         <item name="android:windowBackground">@drawable/splashscreen</item>
+        <item name="android:windowFullscreen">true</item>
     </style>
 </resources>