我来教你Vscode如何添加Maude条目

【我来教你Vscode如何添加Maude条目】相信很多朋友都遇到过以下问题,就是Vscode如何添加Maude条目 。。针对这个问题,今天本站小编就搜集了网上的相关信息,给大家做个Vscode如何添加Maude条目 。的解答 。希望看完这个教程之后能够解决大家Vscode如何添加Maude条目 。的相关问题 。
小伙伴们知道Vscode如何添加Maude条目吗?今天小编就来讲解Vscode添加Maude条目的方法,感兴趣的快跟小编一起来看看吧,希望能够帮助到大家 。
Vscode如何添加Maude条目?Vscode添加Maude条目的方法
1.打开插件管理器窗口,搜索Maude插件(如图所示) 。

我来教你Vscode如何添加Maude条目


2.新建扩展名为maude的文件,查看代码语言(如图所示) 。

我来教你Vscode如何添加Maude条目


3.打开文件夹终端,运行maude程序(如图所示) 。

我来教你Vscode如何添加Maude条目


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

我来教你Vscode如何添加Maude条目


以上就是给大家分享的Vscode如何添加Maude条目的全部内容,更多精彩教程尽在本站!

    推荐阅读