Do not update widget when copying output

502E532E · 502E532E · commit 1a95c3358a9b · 2025-05-03T11:31:31.000+02:00
No longer updates the serial monitor output after its content is copied.
Copying the content does not change anything for the view, so there is
no need to update.
diff --git a/arduino-ide-extension/src/browser/serial/monitor/monitor-widget.tsx b/arduino-ide-extension/src/browser/serial/monitor/monitor-widget.tsx
@@ -109,7 +109,6 @@ export class MonitorWidget extends ReactWidget {
   
   copyOutput(): void {
     this.copyOutputEmitter.fire();
-    this.update();
   }
 
   override dispose(): void {

Original file line number	Diff line number	Diff line change
`@@ -109,7 +109,6 @@ export class MonitorWidget extends ReactWidget {`
`109`	`109`
`110`	`110`	`copyOutput(): void {`
`111`	`111`	`this.copyOutputEmitter.fire();`
`112`		`- this.update();`
`113`	`112`	`}`
`114`	`113`
`115`	`114`	`override dispose(): void {`