官方的EasyExplore插件在配置了/select选项后,选中的是当前文件父文件夹。此文件为修改过源代码、重新编译过的jar,当操作文件时,选中当前文件;当操作文件夹时,选中当前文件夹。使用方法:放到plugins下。