jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-04-19 10:20:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

refactor: remove unused stuff, fix lint warnings
Some checks are pending
Android CI / build (push) Waiting to run
Details

Browse source
This commit is contained in:
Josia Pietsch 2025-03-16 16:37:39 +01:00
parent 90434617e7
commit da115bb2d9
Signed by: jrpie
GPG key ID: E70B571D66986A2D
51 changed files with 415 additions and 605 deletions
Download patch file Download diff file Expand all files Collapse all files

6
app/src/main/res/values-de/strings.xml
View file

@ -67,7 +67,6 @@
<string name="settings_gesture_time">Uhr</string>
<string name="settings_gesture_description_time">Auf die Uhrzeit klicken</string>
<string name="settings_apps_choose">App wählen</string>
<string name="settings_apps_view_all">Alle Anwendungen</string>
<string name="settings_apps_install">Apps installieren</string>
<string name="settings_apps_toast_store_not_found">Store nicht gefunden</string>
<!--
@ -94,10 +93,8 @@
<string name="settings_theme_color_theme_item_dark">Dunkel</string>
<string name="settings_theme_color_theme_item_light">Hell</string>
<string name="settings_theme_wallpaper">Hintergrund auswählen</string>
<string name="settings_launcher_change_wallpaper">Hintergrund ändern</string>
<string name="settings_launcher_section_display">Bildschirm</string>
<string name="settings_display_screen_timeout_disabled">Bildschirm nicht ausschalten</string>
<string name="settings_display_full_screen">Vollbild</string>
<string name="settings_display_rotate_screen">Bildschirm drehen</string>
<string name="settings_launcher_section_functionality">Funktionalität</string>
<string name="settings_enabled_gestures_double_swipe">Doppelte Wischaktionen</string>
@ -118,7 +115,6 @@
<string name="settings_list_layout_item_grid">Raster</string>
<string name="settings_general_choose_home_screen">Launcher wählen</string>
<string name="settings_meta_cant_select_launcher">App Info</string>
<string name="settings_meta_cant_select_launcher_msg">Das Gerät unterstützt diese Funktion nicht. Stattdessen die App Details bearbeiten?</string>
<string name="settings_meta_show_tutorial">Zum Tutorial</string>
<string name="settings_meta_reset">Einstellungen zurücksetzen</string>
<string name="settings_meta_reset_confirm">Alle Einstellungen gehen verloren. Weitermachen?</string>
@ -145,8 +141,6 @@
<string name="list_app_info">App Info</string>
<string name="list_app_hidden_remove">Sichtbar machen</string>
<string name="list_app_rename">Umbenennen</string>
<string name="list_removed">Die App wurde entfernt</string>
<string name="list_not_removed">Die App konnte nicht entfernt werden</string>
<string name="list_apps_search_hint">Anwendungen suchen</string>
<string name="list_apps_search_hint_no_auto_launch">Suchen (kein Schnellstart)</string>
<string name="list_other_settings">µLauncher Einstellungen</string>