(core) Tweak placement and title of filters tip

Summary:
The pinning filters tip is now shown to the right by default, and
has a new title.

Test Plan: Tested manually.

Reviewers: jarek

Reviewed By: jarek

Differential Revision: https://phab.getgrist.com/D3743

app/client/ui/ColumnFilterMenu.ts

@@ -355,7 +355,13 @@ export function columnFilterMenu(owner: IDisposableOwner, opts: IFilterMenuOptio
               gristDoc.behavioralPrompts.attachTip('filterButtons', {
                 popupOptions: {
                   attach: null,
-                }
+                  modifiers: {
+                    flip: {
+                      behavior: ['right', 'top'],
+                    },
+                  },
+                  placement: 'right',
+                },
               }),
               testId('pin-btn'),
             ),

app/client/ui/GristTooltips.ts

@@ -146,7 +146,7 @@ export const GristBehavioralPrompts: Record<BehavioralPrompt, BehavioralPromptCo
     ),
   },
   filterButtons: {
-    title: 'Filter Buttons',
+    title: 'Pinning Filters',
     content: (...args: DomElementArg[]) => cssTooltipContent(
       dom('div', 'Pinned filters are displayed as buttons above the widget.'),
       dom('div', 'Unpin to hide the the button while keeping the filter.'),