Hi, how would I go about updating the title bar of an Eclipse editor when the file input changes to reflect the new filename? For instance, when the file is renamed but you still have an editor open on the file. Everything I've done so far has failed, even when following the official guidelines on doing this (using special interfaces, classes, etc). The Java editor can seemingly do this fine. If I update the title and post the status update, it just doesn't update. Calling the update methods after this also doesn't update the editor title. Confusing.
Cheers, Chris