diff --git a/app/src/main/java/de/jrpie/android/launcher/preferences/theme/Background.kt b/app/src/main/java/de/jrpie/android/launcher/preferences/theme/Background.kt index d7e30a1..c9a3434 100644 --- a/app/src/main/java/de/jrpie/android/launcher/preferences/theme/Background.kt +++ b/app/src/main/java/de/jrpie/android/launcher/preferences/theme/Background.kt @@ -6,6 +6,7 @@ import android.view.Window import android.view.WindowManager import de.jrpie.android.launcher.R +@Suppress("unused") enum class Background(val id: Int, val dim: Boolean = false, val blur: Boolean = false) { TRANSPARENT(R.style.backgroundWallpaper), DIM(R.style.backgroundWallpaper, dim = true), @@ -21,7 +22,7 @@ enum class Background(val id: Int, val dim: Boolean = false, val blur: Boolean = val layoutParams: WindowManager.LayoutParams = window.attributes // TODO: add a setting to change this? var dimAmount = 0.7f - var dim = this.dim + val dim = this.dim var blur = this.blur // replace blur by more intense dim on old devices @@ -47,6 +48,6 @@ enum class Background(val id: Int, val dim: Boolean = false, val blur: Boolean = } } - window.setAttributes(layoutParams) + window.attributes = layoutParams } } \ No newline at end of file diff --git a/app/src/main/java/de/jrpie/android/launcher/preferences/theme/ColorTheme.kt b/app/src/main/java/de/jrpie/android/launcher/preferences/theme/ColorTheme.kt index b4c9db8..acebc80 100644 --- a/app/src/main/java/de/jrpie/android/launcher/preferences/theme/ColorTheme.kt +++ b/app/src/main/java/de/jrpie/android/launcher/preferences/theme/ColorTheme.kt @@ -3,6 +3,7 @@ package de.jrpie.android.launcher.preferences.theme import android.content.res.Resources import de.jrpie.android.launcher.R +@Suppress("unused") enum class ColorTheme(val id: Int) { DEFAULT(R.style.colorThemeDefault), DARK(R.style.colorThemeDark), diff --git a/app/src/main/java/de/jrpie/android/launcher/preferences/theme/Font.kt b/app/src/main/java/de/jrpie/android/launcher/preferences/theme/Font.kt index c8c415d..5652ae5 100644 --- a/app/src/main/java/de/jrpie/android/launcher/preferences/theme/Font.kt +++ b/app/src/main/java/de/jrpie/android/launcher/preferences/theme/Font.kt @@ -6,6 +6,8 @@ import de.jrpie.android.launcher.R /** * Changes here must also be added to @array/settings_theme_font_values */ + +@Suppress("unused") enum class Font(val id: Int) { HACK(R.style.fontHack), SYSTEM_DEFAULT(R.style.fontSystemDefault),