GEDIT外部工具 2020 年 7 月 18 日 筆記 首先通過編輯-首選項-插件-外部命令來打開外部命令,然後在工具-Manage External Tools來添加新工具, … Continue Reading