vscode軟件中的一些特殊插件在下載后,是需要單獨在終端運行打開的,導致很多小伙伴都不知道該如何操作。那么具體的插件使用方法,小編也已經為大家整理在下方的文章中了。
vscode添加maude條目教程分享
1.打開插件管理器窗口,搜索Maude插件
2.新建擴展名為maude的文件,查看代碼語言
3.打開文件夾終端,運行maude程序
4.最后在設置欄目中搜索file associations,打開settings.json為maude條目關聯擴展名文件即可
大家可以將學組裝添加到本地收藏,這樣就能在遇到操作困擾時一鍵打開查閱啦!