还不知道vscode怎么添加Maude条目吗?那么还不知道的朋友就跟着小编一起来学习一下vscode添加Maude条目的方法吧,希望通过本篇教程的学习,对大家有所帮助哦。
1.首先,在vscode中打开插件管理器窗口,搜索Maude插件
2.接着,新建扩展名为maude的文件,查看代码语言
3.随后,打开文件夹终端,运行maude程序
4.最后,在设置栏目中搜索file associations,打开settings.json为maude条目关联扩展名文件即可
还不知道vscode怎么添加Maude条目吗?那么还不知道的朋友就跟着小编一起来学习一下vscode添加Maude条目的方法吧,希望通过本篇教程的学习,对大家有所帮助哦。
1.首先,在vscode中打开插件管理器窗口,搜索Maude插件
2.接着,新建扩展名为maude的文件,查看代码语言
3.随后,打开文件夹终端,运行maude程序
4.最后,在设置栏目中搜索file associations,打开settings.json为maude条目关联扩展名文件即可