@peterkir just reported a problem to me on Windows:
Eclipse preference > General Workspace activated
Refresh using native hooks or polling
Refresh on access
- I have the build.bnd editor open on the Effective tab.
- I edit the build.bnd file in the file system in another editor (vscode) and refresh Eclipse.
Expected behavior: Effective Tab should show the change
Actual behavior: Change not detected.
Note: The source tab recognizes the change and refreshes. Basically the same should happen for the effective Tab.