mirror of
https://github.com/jrpie/Launcher.git
synced 2025-04-19 10:20:51 +02:00
basic support for private space (#98)
* add an action to toggle private space lock * hide apps from private space if private space is locked
This commit is contained in:
parent
679c90130d
commit
785e024ddb
12 changed files with 159 additions and 28 deletions
|
@ -13,6 +13,7 @@
|
|||
<string name="settings_apps_hidden_key" translatable="false">apps.hidden</string>
|
||||
<string name="settings_apps_custom_names_key" translatable="false">apps.custom_names</string>
|
||||
<string name="settings_apps_hide_bound_apps_key" translatable="false">apps.hide_bound_apps</string>
|
||||
<string name="settings_apps_hide_paused_apps_key" translatable="false">apps.hide_paused_apps</string>
|
||||
<string name="settings_list_layout_key" translatable="false">list.layout</string>
|
||||
<string name="settings_general_choose_home_screen_key" translatable="false">general.select_launcher</string>
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue