使用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 浏览器