^
vscode怎么添加Maude条目-vscode添加Maude条目方法
2023-05-13 10:54:43
还不知道vscode怎么添加Maude条目吗?那么还不知道的朋友就跟着小编一起来学习一下vscode添加Maude条目的方法吧,希望通过本篇教程的学习,对大家有所帮助哦。
1.首先,在vscode中打开插件管理器窗口,搜索Maude插件

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

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

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

以上就是小编带来的vscode添加Maude条目方法,想必大家都学会了吧。
相关阅读