摘要: 常用 General 基础编辑 Basic editing 导航 Navigation 搜索和替换 Search and replace 多光标和选择 Multi-cursor and selection 丰富的语言编辑 Rich languages editing 编辑器管理 Editor man 阅读全文
posted @ 2019-03-23 19:41 firebang 阅读(1240) 评论(0) 推荐(0) 编辑