Mobile: Find on page, various minor tweaks

On mobile, the search bar appears at the top of the page.

Keep the haptic engine running so there is no delay before each effect.

After a long-press, remove the "mouse" from the display area so there is no misleading hover.

Widget border top/bottom use metrics.

1 files changed, 0 insertions, 1 deletions

diff --git a/src/ui/util.c b/src/ui/util.c
index 9d75129e..18ed7ba2 100644
--- a/src/ui/util.c
+++ b/src/ui/util.c
@@ -1060,7 +1060,6 @@ static iWidget *makeValuePadding_(iWidget *value) {
     setPadding_Widget(pad, 0, 1 * gap_UI, 0, 1 * gap_UI);
     addChild_Widget(pad, iClob(value));
     setFlags_Widget(pad,
-                    borderTop_WidgetFlag |
                     borderBottom_WidgetFlag |
                     arrangeVertical_WidgetFlag |
                     resizeToParentWidth_WidgetFlag |