GEDIT外部工具 2020 年 7 月 18 日 笔记 首先通过编辑-首选项-插件-外部命令来打开外部命令,然后在工具-Manage External Tools来添加新工具, … Continue Reading