File tree Expand file tree Collapse file tree 1 file changed +4
-1
lines changed
arduino-ide-extension/src/browser/contributions Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -264,6 +264,10 @@ export abstract class CoreServiceContribution extends SketchContribution {
264264 let message : undefined | string = undefined ;
265265 if ( CoreError . is ( error ) ) {
266266 message = error . message ;
267+
268+ if ( error . code === CoreError . Codes . Verify ) {
269+ message = message . replace ( / [ * ] / g, '\\*' ) ;
270+ }
267271 } else if ( error instanceof Error ) {
268272 message = error . message ;
269273 } else if ( typeof error === 'string' ) {
@@ -280,7 +284,6 @@ export abstract class CoreServiceContribution extends SketchContribution {
280284 'No board selected. Please select your Arduino board from the Tools > Board menu.'
281285 ) ;
282286 }
283- message = message . replace ( / [ * ] / g, '\\*' ) ;
284287 const copyAction = nls . localize (
285288 'arduino/coreContribution/copyError' ,
286289 'Copy error messages'
You can’t perform that action at this time.
0 commit comments