vscode怎么添加Maude条目?vscode添加Maude条目的操作方法

时间:2022-03-18 15:23:58       来源:PC下载网

还不知道vscode怎么添加Maude条目吗?那么还不知道的朋友就跟着小编一起来学一下vscode添加Maude条目的方法吧,希望通过本篇教程的学,对大家有所帮助哦。

1.首先,在vscode中打开插件管理器窗口,搜索Maude插件

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

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

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

关键词: vscode怎么添加Maude条目 添加Maude条目 操作方法 插件管理器窗口