vscode添加Maude条目教程分享

您所在的位置:网站首页 通过code打开操作添加到 vscode添加Maude条目教程分享

vscode添加Maude条目教程分享

2022-05-13 19:11| 来源: 网络整理| 查看: 265

 

下载后,vscode软件中的一些特殊插件需要在终端中单独运行打开,导致很多小伙伴不知道如何操作。那么具体的插件使用方法,小编,也已经在下面的文章中为大家整理出来了。

下载后,vscode软件中的一些特殊插件需要在终端中单独运行打开,导致很多小伙伴不知道如何操作。那么具体的插件使用方法,小编,也已经在下面的文章中为大家整理出来了。

2. 新建 扩展名为maude的 文件 ,查看代码语言

3. 打开 文件夹 终端 ,运行maude程序

4.最后在 设置 栏目中 搜索file associations ,打开 settings.json 为maude条目 关联扩展名文件 即可

大家可以将PConline添加到本地收藏,这样就能在遇到操作困扰时一键打开查阅啦!

 



【本文地址】


今日新闻


推荐新闻


CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3