Closed nierajsingh closed 11 years ago
Fix pushed to dev branch. Now, the API to refresh scripted after an file operation takes two extra parameters. 1. Resource to open in main editor. If null, the main editor remains unchanged 2. Resource to select in navigator. In some cases both are the same, unless deleting/renaming a resource that is not currently opened in an editor.
When renaming or deleting a resource that is not currently opened in the main editor, the navigator will not refresh as a null value for the renamed resource or the parent of the deleted resource is passed to the navigator refresh operation.