WinEdt 添加清理文件项

在WinEdt中,提供了批量清除生成文件的方法,即在菜单“Tools”中的“Erase Output Files”,或者在工具栏的垃圾桶图标。 默认情况下,支持清除主PDF、log、aux、toc、out、bak等后缀文件。 当需要时,例如要删除使用 minted 生成的 pygment 临时文件(
posted @ 2022-06-22 23:58  崩溃侠  阅读(234)  评论(0编辑  收藏  举报
友情链接: Heroius' Ideas 沈阳因斯福环保安全科技有限公司 东北大学工业爆炸防护研究所