Saves the editor identified by the given resource and returns the resulting resource or undefined
if save was not successful or no editor with the given resource was found.
Note that an editor with the provided resource must be opened in order to be saved.
Saves the editor identified by the given resource and returns the resulting resource or
undefined
if save was not successful or no editor with the given resource was found.Note that an editor with the provided resource must be opened in order to be saved.