is the state shown correctly if you use sqldev's editor to update the file?
case one: doubleclick the .sql-file in sqldev, edit and save it --> works fine
case two: doubleclick some .html, let sqldev open it in /usr/bin/gedit, edit, save and close gedit --> change is not reflected in GUI
case three: display versioned tree of files in sqldev, update a file with vi in a process completely outside from sqldev --> change is not reflected in GUI
I think case two should certainly work.
For case three I was not sure if it is not expected too much from sqldev even if it would make things easier if one could
make changes using unix tools like vi or sed etc.
Maybe. I don't know if it's supposed to monitor the OS/files to see if they're touched outside of SQLDev.
Is this a regression, did it work in v3.2, 4.1, or 4.2? If so, def a bug. If not, might be a limitation of the feature, which we get from JDeveloper.
now i checked a few.
In sqldev it never worked.
However the hint for jdev ist good.
This GUI - at least the svn related part - looks very similar.
From my observation I would say that the refresh does this:
- in jdev it scans the filesystem AND checks the versioning-state (against .svn)
- in sqldev it only scans the filesystem; for new files only the svn-state is checked
The technology is included in sqldev because at application startup it scans the files and updates the svn-state.
So the question is if it would be possible the enhance the refresh-button so that it works as it does in jdev.
That sounds reasonable. I'll go bother someone and see what we can do.