The first version filled its widget with the figures, which the owner found huge. The figures are now measured against the icons: small is half an icon tall, medium (the default) most of an icon, large taller than an icon, with the widget's own height and width as the limit. The owner chooses left, center or right and the size from the widget's edit button. The options are a sheet over the home screen, kept per widget, and each choice shows on the widget at once. Co-Authored-By: Claude Fable 5.2 <noreply@anthropic.com>
70 lines
3.0 KiB
XML
70 lines
3.0 KiB
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!--
|
|
Flexera Launcher manifest overrides. Attached to the debug and release build types in build.gradle,
|
|
which outrank Lawnchair's flavor manifests and every library manifest during the merge.
|
|
|
|
Network access: the INTERNET permission comes from Lawnchair's manifest and is kept for one purpose,
|
|
the app's own update check (app.flexera.update.FlexeraUpdater). Lawnchair's online features stay
|
|
switched off in code; see app.flexera.FlexeraNetwork.
|
|
-->
|
|
<manifest xmlns:android="http://schemas.android.com/apk/res/android">
|
|
|
|
<!-- Lets the app hand a downloaded update to Android's installer. The owner still confirms each install. -->
|
|
<uses-permission android:name="android.permission.REQUEST_INSTALL_PACKAGES" />
|
|
|
|
<!--
|
|
Since Android 17 an app needs this to reach a device on the network the phone itself is on.
|
|
The update server can be such a device: at the owner's home its name leads to its address
|
|
on the home network. Asked for only when a check for updates is stopped by it (About screen).
|
|
-->
|
|
<uses-permission android:name="android.permission.ACCESS_LOCAL_NETWORK" />
|
|
|
|
<application>
|
|
|
|
<!--
|
|
The picture widget that comes with the launcher. Not exported: only this launcher can
|
|
place it, and only this launcher knows how to draw it.
|
|
-->
|
|
<receiver
|
|
android:name="app.flexera.widget.PictureWidgetProvider"
|
|
android:exported="false"
|
|
android:label="@string/flexera_picture_widget">
|
|
<intent-filter>
|
|
<action android:name="android.appwidget.action.APPWIDGET_UPDATE" />
|
|
</intent-filter>
|
|
<meta-data
|
|
android:name="android.appwidget.provider"
|
|
android:resource="@xml/flexera_picture_widget_info" />
|
|
</receiver>
|
|
|
|
<!-- The clock widget that comes with the launcher: the time and the date. -->
|
|
<receiver
|
|
android:name="app.flexera.widget.ClockWidgetProvider"
|
|
android:exported="false"
|
|
android:label="@string/flexera_clock_widget">
|
|
<intent-filter>
|
|
<action android:name="android.appwidget.action.APPWIDGET_UPDATE" />
|
|
</intent-filter>
|
|
<meta-data
|
|
android:name="android.appwidget.provider"
|
|
android:resource="@xml/flexera_clock_widget_info" />
|
|
</receiver>
|
|
|
|
<!-- The clock widget's options, a sheet over the home screen. -->
|
|
<activity
|
|
android:name="app.flexera.widget.ClockWidgetConfigActivity"
|
|
android:excludeFromRecents="true"
|
|
android:exported="false"
|
|
android:theme="@style/Theme.Transparent" />
|
|
|
|
<!-- Opens Android's photo picker for the picture widget; it has no screen of its own. -->
|
|
<activity
|
|
android:name="app.flexera.widget.PictureWidgetConfigActivity"
|
|
android:excludeFromRecents="true"
|
|
android:exported="false"
|
|
android:theme="@style/Theme.Transparent" />
|
|
|
|
</application>
|
|
|
|
</manifest>
|