一 文件被外部修改自动刷新
window->preference->general->workspace
有两个选择
1 refresh on access 这个应该是每次打开的时候刷新
2 refresh using native hooks or polling 这个应该是轮询刷新吧,大概十秒钟,不需要打开文件,自动会刷新(不知道对不对,找不到中文介绍,先记着)
自己感觉用第一种好点,如果第二种是轮询刷新的话,比较不会消耗性能吧。
window->preference->general->workspace
有两个选择
1 refresh on access 这个应该是每次打开的时候刷新
2 refresh using native hooks or polling 这个应该是轮询刷新吧,大概十秒钟,不需要打开文件,自动会刷新(不知道对不对,找不到中文介绍,先记着)
自己感觉用第一种好点,如果第二种是轮询刷新的话,比较不会消耗性能吧。