winglang / wing

A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
https://winglang.io
Other
4.97k stars 196 forks source link

Playground: Copy button doesn't work #6620

Closed staycoolcall911 closed 3 months ago

staycoolcall911 commented 3 months ago

I tried this:

Tried this random code on the playground (link to code) which yields an error, then hit the copy button.

class Foo {
  new(name: str) {}
}

class Bar extends Foo {
  new() {}
}

This happened:

No text was copied into the clipboard.

I expected this:

The error message text to be present in the clipboard so I could paste it.

Is there a workaround?

No response

Anything else?

It does work as expected on the Console when I wing run. Additional thought: when we fix it, is it possible to add a Playwright test for this functionality?

Wing Version

0.74.30

Node.js Version

No response

Platform(s)

MacOS

Community Notes