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

fix grammar

Browse source
This commit is contained in:
Luke Wass 2025-05-27 14:48:40 -05:00 • committed by GitHub
parent f7953c4b57
commit 3cdf0d3563
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
docs/widgets.md
View file

@ -7,7 +7,7 @@
μLauncher allows to add [app widgets](https://developer.android.com/develop/ui/views/appwidgets/overview) to the home screen and to widget panels. μLauncher allows to add [app widgets](https://developer.android.com/develop/ui/views/appwidgets/overview) to the home screen and to widget panels.
Widgets can be added, moved, removed and configured in `Settings > Manage Widgets`. Widgets can be added, moved, removed, and configured in `Settings > Manage Widgets`.
It is configurable whether or not interaction with a widget should be enabled. It is configurable whether or not interaction with a widget should be enabled.
@ -17,7 +17,7 @@ However, μLauncher [gestures](/docs/actions-and-gestures/) can not be execute
* If interaction is disabled, the widget does not respond to any touch events. * If interaction is disabled, the widget does not respond to any touch events.
This is recommended when using a widget only to display information. This is recommended when using a widget only to display information.
μLauncher's clock behaves similar as an app widget and can be managed in the same way.[^1] μLauncher's clock behaves similarly to an app widget and can be managed in the same way.[^1]
[^1]: However, it is technically not an app widget and cannot be used with other launchers. [^1]: However, it is technically not an app widget and cannot be used with other launchers.