From a8e4e0c5d40674cc28bddb11742e22b60f8e2664 Mon Sep 17 00:00:00 2001
From: AK <242477691+aknshr@users.noreply.github.com>
Date: Sat, 8 Nov 2025 11:56:34 -0300
Subject: [PATCH 1/3] Escape asterisks in error message content for
 notification display

---
 arduino-ide-extension/src/browser/contributions/contribution.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arduino-ide-extension/src/browser/contributions/contribution.ts b/arduino-ide-extension/src/browser/contributions/contribution.ts
index 781b832fc..e40b5bcc6 100644
--- a/arduino-ide-extension/src/browser/contributions/contribution.ts
+++ b/arduino-ide-extension/src/browser/contributions/contribution.ts
@@ -280,6 +280,7 @@ export abstract class CoreServiceContribution extends SketchContribution {
           'No board selected. Please select your Arduino board from the Tools > Board menu.'
         );
       }
+      message = message.replace(/[*]/g, '\\*');
       const copyAction = nls.localize(
         'arduino/coreContribution/copyError',
         'Copy error messages'

From 9f62de0d9397e2ab392bcbf7e3e4a9925bf0abcc Mon Sep 17 00:00:00 2001
From: AK <242477691+aknshr@users.noreply.github.com>
Date: Fri, 12 Dec 2025 14:11:05 -0300
Subject: [PATCH 2/3] Add a condition to handle only verification errors

---
 .../src/browser/contributions/contribution.ts                | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/arduino-ide-extension/src/browser/contributions/contribution.ts b/arduino-ide-extension/src/browser/contributions/contribution.ts
index e40b5bcc6..7b33eaaad 100644
--- a/arduino-ide-extension/src/browser/contributions/contribution.ts
+++ b/arduino-ide-extension/src/browser/contributions/contribution.ts
@@ -264,6 +264,10 @@ export abstract class CoreServiceContribution extends SketchContribution {
     let message: undefined | string = undefined;
     if (CoreError.is(error)) {
       message = error.message;
+
+      if (error.code === CoreError.Codes.Verify) {
+        message = message.replace(/[*]/g, '\\*');
+      }
     } else if (error instanceof Error) {
       message = error.message;
     } else if (typeof error === 'string') {
@@ -280,7 +284,6 @@ export abstract class CoreServiceContribution extends SketchContribution {
           'No board selected. Please select your Arduino board from the Tools > Board menu.'
         );
       }
-      message = message.replace(/[*]/g, '\\*');
       const copyAction = nls.localize(
         'arduino/coreContribution/copyError',
         'Copy error messages'

From b63ce1fd8eedd600ee330602f4abf538916343d7 Mon Sep 17 00:00:00 2001
From: AK <242477691+aknshr@users.noreply.github.com>
Date: Fri, 12 Dec 2025 14:42:21 -0300
Subject: [PATCH 3/3] Match coding style

---
 arduino-ide-extension/src/browser/contributions/contribution.ts | 1 -
 1 file changed, 1 deletion(-)

diff --git a/arduino-ide-extension/src/browser/contributions/contribution.ts b/arduino-ide-extension/src/browser/contributions/contribution.ts
index 7b33eaaad..816f695a9 100644
--- a/arduino-ide-extension/src/browser/contributions/contribution.ts
+++ b/arduino-ide-extension/src/browser/contributions/contribution.ts
@@ -264,7 +264,6 @@ export abstract class CoreServiceContribution extends SketchContribution {
     let message: undefined | string = undefined;
     if (CoreError.is(error)) {
       message = error.message;
-
       if (error.code === CoreError.Codes.Verify) {
         message = message.replace(/[*]/g, '\\*');
       }