Eclipseのバージョンをあげてから「Refresh Automatically」の設定をしていなかったので探したら見つからない。
「自動的にリフレッシュを行う」と「リフレッシュにネイティブフックかポーリングを使う」では意味合いがかなり違う気がするのだけど、この項目っぽく。
あぁ バルーンヒントに「Automatically refresh external workspace changes using native hooks or polling」とあるので自動でリフレッシュするのは大前提で、「その機会を計るのにネイティブフックかポーリングを使う」という意味なのか。
一個下の「Refresh on access」は「Automatically refresh external workspace changes on access via the workspace」となっているので本来はこちらだけで済むんだろうけど、それでうまくいかない場合のオプションって事だろうか？