decrease the polling frequency of getGroupPinboardIds and `getItemC…

…ounts` from 5s to 15s as they're quite expensive - this is a temporary measure that I'd like to replace with GraphQL subscriptions somehow, so they're realtime like everything else

client/src/inline/inlineMode.tsx

@@ -80,7 +80,7 @@ export const InlineMode = ({
             )
           ),
       });
-      startPolling(5000);
+      startPolling(15000);
     }
   }, [workflowTitleElementLookup]);
 

client/src/panel.tsx

@@ -105,7 +105,7 @@ export const Panel = ({
     Math.abs(boundedPositionTranslation.y) > window.innerHeight / 2;
 
   const groupPinboardIdsQuery = useQuery(gqlGetGroupPinboardIds, {
-    pollInterval: 5000, // always poll this one, to ensure we get unread flags even when pinboard is not expanded
+    pollInterval: 15000, // always poll this one, to ensure we get unread flags even when pinboard is not expanded
   });
 
   const groupPinboardIdsWithClaimCounts: PinboardIdWithClaimCounts[] = useMemo(
@@ -173,7 +173,7 @@ export const Panel = ({
   useEffect(() => {
     if (isExpanded) {
       pinboardDataQuery.refetch();
-      pinboardDataQuery.startPolling(5000);
+      pinboardDataQuery.startPolling(15000);
     } else {
       pinboardDataQuery.stopPolling();
     }