Rename UpdateDots to OverrideDots

This matches more nicely with all the variable/identifier names.

src/components/common/SceneWrapper.tsx

@@ -8,7 +8,7 @@ import { EdgeInsets, useSafeAreaFrame, useSafeAreaInsets } from 'react-native-sa
 import { useSceneDrawerState } from '../../state/SceneDrawerState'
 import { useSelector } from '../../types/reactRedux'
 import { NavigationBase } from '../../types/routerTypes'
-import { UpdateDots } from '../../types/Theme'
+import { OverrideDots } from '../../types/Theme'
 import { maybeComponent } from '../hoc/maybeComponent'
 import { NotificationView } from '../notification/NotificationView'
 import { useTheme } from '../services/ThemeContext'
@@ -62,7 +62,7 @@ interface SceneWrapperProps {
   keyboardShouldPersistTaps?: 'always' | 'never' | 'handled'
 
   // Override existing background dots parameters
-  overrideDots?: UpdateDots
+  overrideDots?: OverrideDots
 
   // Padding to add inside the scene border:
   padding?: number

src/components/ui4/DotsBackground.tsx

@@ -4,7 +4,7 @@ import LinearGradient from 'react-native-linear-gradient'
 import { Circle, Defs, G, RadialGradient, Stop, Svg } from 'react-native-svg'
 
 import { useHandler } from '../../hooks/useHandler'
-import { ThemeDot, UpdateDots } from '../../types/Theme'
+import { OverrideDots, ThemeDot } from '../../types/Theme'
 import { useTheme } from '../services/ThemeContext'
 
 export interface AccentColors {
@@ -15,7 +15,7 @@ interface Props {
   backgroundGradientColors?: string[]
   backgroundGradientStart?: { x: number; y: number }
   backgroundGradientEnd?: { x: number; y: number }
-  overrideDots?: UpdateDots
+  overrideDots?: OverrideDots
   accentColors?: AccentColors
 }
 

src/types/Theme.ts

@@ -13,7 +13,7 @@ export interface ThemeDot {
 }
 
 // Updates to dots. undefined keeps the dots, null deletes them
-export type UpdateDots = Array<Partial<ThemeDot> | undefined | null>
+export type OverrideDots = Array<Partial<ThemeDot> | undefined | null>
 
 interface ThemeGradientParams {
   colors: string[]
@@ -105,7 +105,7 @@ export interface Theme {
     blurRadius: number
     dotOpacity: number
     dots: ThemeDot[]
-    assetOverrideDots: UpdateDots
+    assetOverrideDots: OverrideDots
   }
   assetBackgroundGradientColors: string[]
   assetBackgroundGradientStart: { x: number; y: number }