文章目录
- 重新打开编辑窗口
- 另一种模式打开文件
重新打开编辑窗口
这一操作可以刷新Problems
另一种模式打开文件
对于jupyter/markdown等文件,如果装有不同扩展,那么打开模式可能会有多种
您可以reopen对应的文件(或者说editor),选择不同的文件支持来模式来打开
微信扫一扫
这一操作可以刷新Problems
对于jupyter/markdown等文件,如果装有不同扩展,那么打开模式可能会有多种
您可以reopen对应的文件(或者说editor),选择不同的文件支持来模式来打开
相关推荐