Re: [platform-dev] Dynamically change the title of editor's tabs

[Ed Merks <ed.merks@xxxxxxxxx>]

Arian,

You should look at what editors do when you do File -> Save As.  E.g., 
in EMF's generated editors I do this:

        IFileEditorInput modelFile = new FileEditorInput(file);
        setInputWithNotify(modelFile);
        setPartName(file.getName());

Which call 
org.eclipse.ui.part.EditorPart.setInputWithNotify(IEditorInput) and 
org.eclipse.ui.part.EditorPart.setPartName(String) which are protected 
methods; file is the IFile to which I saved.

Regards,
Ed

On 13.06.2019 13:07, Arian Fornaris wrote:
> Hi,
>
> In a tool I am developing I need to change, at any time, the title of 
> the editors. We need this because the tool has a "current working 
> project" concept, and I want to show the name of the project in the 
> title of all the editors not belonging to the current working project. 
> I know how to detect the editors I want to update, but I don't know 
> how to change its title. It is important that I can change the title 
> of editors no matters if it is restored or not.
>
>
>
> Thanks in advance,
>
> Arian
>
> _______________________________________________
> platform-dev mailing list
> platform-dev@xxxxxxxxxxx
> To change your delivery options, retrieve your password, or 
> unsubscribe from this list, visit
> https://www.eclipse.org/mailman/listinfo/platform-dev