jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-02-23 06:21:31 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: restart SettingsActivity after changes to settings

Browse source
This commit is contained in:
Josia Pietsch 2024-07-20 00:42:30 +02:00
parent d46b27ea18
commit b5aee67ec3
Signed by: jrpie
GPG key ID: E70B571D66986A2D
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
app/src/main/java/de/jrpie/android/launcher/settings/launcher/SettingsFragmentLauncher.kt
View file

@ -93,20 +93,20 @@ class SettingsFragmentLauncher : Fragment(), UIObject {
bindSwitchToPref(settings_launcher_switch_screen_timeout, PREF_SCREEN_TIMEOUT_DISABLED, false) {
setWindowFlags(activity!!.window)
activity?.let{setWindowFlags(it.window)}
}
bindSwitchToPref(settings_launcher_switch_screen_full, PREF_SCREEN_FULLSCREEN, true) {
setWindowFlags(activity!!.window)
activity?.let{setWindowFlags(it.window)}
}
bindSwitchToPref(settings_launcher_switch_auto_launch, PREF_SEARCH_AUTO_LAUNCH, false) {}
bindSwitchToPref(settings_launcher_switch_auto_keyboard, PREF_SEARCH_AUTO_KEYBOARD, true) {}
bindSwitchToPref(settings_launcher_switch_enable_double, PREF_DOUBLE_ACTIONS_ENABLED, false) {
intendedSettingsPause = true
activity!!.recreate()
activity?.recreate()
}
bindSwitchToPref(settings_launcher_switch_enable_edge, PREF_EDGE_ACTIONS_ENABLED, false) {
intendedSettingsPause = true
activity!!.recreate()
activity?.recreate()
}
settings_seekbar_sensitivity.setOnSeekBarChangeListener(