| Shows the given editor input. Used when an editor is being opened and an existing
editor's input matches the one being opened.
Editors can optionally implement this interface, giving the editor the opportunity
to show the given input if it represents a different subset of the editor's content
than the one currently being shown.
since: 3.1 |