疑问:WebIDE是特地设计为没有粘贴功能的吗?

使用https://try.moonbitlang.com/时发现无法使用粘贴功能,设置中的"editor.experimental.pasteActions.enabled": true也不可使用,这是因为什么安全上的考量吗?

1 个赞

谢谢反馈,我们私聊你了解一下具体情况

我猜:语言的超强类型,带来很多便利(包括编译的快速、提示的完整度、改名的安全程度等等),不过纯文本粘贴方面,确实不好支持,看看官方后续有什么解决方案,

从 moonbit 到 moonbit 的粘贴(附带类型的那种),估计将来官方会支持,

但如果是从网上别的什么地方复制代码到 moonbit ide,那就不好说了,不支持也没关系,反正 import 总能替代部分复制粘贴的作用。

1 个赞

或者从 结构化类型 的角度说,文本的解析,应该杜绝,并推荐使用带类型的复制粘贴,但现在大环境不好,从网页到底层系统配置,到处都充斥着难以解析的文本。

1 个赞

窝觉得, 这是一个 BUG。

使用键盘组合键 Ctrl+C, Ctrl+V 确实不能复制粘贴。
但是, 鼠标右键菜单选复制粘贴, 是正常的。

发现这是个火狐独有的问题(版本118.0,9月18日更新),换成win10自带的edge就没有问题了…

我这边快捷键可以,菜单没有粘贴选项…

窝这边使用的 chrome 浏览器 :joy: