1.打开插件管理器窗口,搜索Maude插件(如图所示)。
2.新建扩展名为maude的文件,查看代码语言(如图所示)。
3.打开文件夹终端,运行maude程序(如图所示)。
4.最后在设置栏目中搜索file associations,打开settings.json为maude条目关联扩展名文件即可(如图所示)。
1.打开插件管理器窗口,搜索Maude插件(如图所示)。
2.新建扩展名为maude的文件,查看代码语言(如图所示)。
3.打开文件夹终端,运行maude程序(如图所示)。
4.最后在设置栏目中搜索file associations,打开settings.json为maude条目关联扩展名文件即可(如图所示)。