mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
@@ -467,7 +467,7 @@ export function createEditToolDefinition(
|
||||
changed = true;
|
||||
}
|
||||
if (changed) {
|
||||
context.invalidate();
|
||||
buildEditCallComponent(callComponent, context.args as RenderableEditArgs | undefined, theme);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user