tsc

src/viser/_messages.py

@@ -1137,7 +1137,7 @@ class GuiUpdateMessage(Message):
     id: str
     updates: Annotated[
         Dict[str, Any],
-        infra.TypeScriptAnnotationOverride("Partial<GuiComponentMessage>"),
+        infra.TypeScriptAnnotationOverride("{[key: string]: any}"),
     ]
     """Mapping from property name to new value."""
 

src/viser/client/src/ControlPanel/GuiState.tsx

@@ -164,14 +164,17 @@ export function useGuiState(initialServer: string) {
 
             // Iterate over key/value pairs.
             for (const [key, value] of Object.entries(updates)) {
+              // We don't put `value` in the props object to make types
+              // stronger in the user-facing Python API. This results in some
+              // nastiness here, we should revisit...
               if (key === "value") {
-                state.guiConfigFromId[id].value = value;
+                (state.guiConfigFromId[id] as any).value = value;
               } else if (!(key in config.props)) {
                 console.error(
                   `Tried to update nonexistent property '${key}' of GUI element ${id}!`,
                 );
               } else {
-                state.guiConfigFromId[id].props[key] = value;
+                (state.guiConfigFromId[id].props as any)[key] = value;
               }
             }
           });

src/viser/client/src/WebsocketMessages.ts

@@ -946,7 +946,7 @@ export interface GuiRemoveMessage {
 export interface GuiUpdateMessage {
   type: "GuiUpdateMessage";
   id: string;
-  updates: Partial<GuiComponentMessage>;
+  updates: { [key: string]: any };
 }
 /** Sent client<->server when any property of a scene node is changed.
  *

src/viser/client/src/components/ProgressBar.tsx

@@ -2,10 +2,7 @@ import { Box, Progress } from "@mantine/core";
 import { GuiProgressBarMessage } from "../WebsocketMessages";
 
 export default function ProgressBarComponent({
-  visible,
-  color,
-  value,
-  animated,
+  props: { visible, color, value, animated },
 }: GuiProgressBarMessage) {
   if (!visible) return <></>;
   return (