fix: round the widget corners less #52

Widgets had 22dp corners, rounder than the launcher's own widgets and
the app's cards. They now use 16dp, the Pixel launcher's widget radius,
on the surface, its frame and the picker previews.

android/app/src/main/res/values/dimens.xml

@@ -1,4 +1,4 @@
 <resources>
   <!-- Home-screen widget corners; WIDGET_RADIUS in src/widgets/primitives.tsx. -->
-  <dimen name="widget_radius">22dp</dimen>
+  <dimen name="widget_radius">16dp</dimen>
 </resources>

src/widgets/primitives.tsx

@@ -19,7 +19,7 @@ import { filledIcon, icon, type FilledIconName, type IconName } from './icons';
 import type { WidgetClick } from './clicks';
 
 /** Corner radius of the widget surface; `widget_radius` in android/app/src/main/res/values/dimens.xml. */
-export const WIDGET_RADIUS = 22;
+export const WIDGET_RADIUS = 16;
 
 /**
  * The widget's background. Its edge and the clip to rounded corners come from