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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

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

From: Arian Fornaris <boniatillo@xxxxxxxxx>
Date: Fri, 14 Jun 2019 15:45:04 -0400
Delivered-to: platform-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/platform-dev>
List-help: <mailto:platform-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/platform-dev>, <mailto:platform-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/platform-dev>, <mailto:platform-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0

Hi Lars and Mickael,

I did it! Thanks!

On 6/14/19 7:28 AM, Lars Vogel wrote:

You can add a tag to the model element. Every tag is CSS class. See https://www.vogella.com/tutorials/Eclipse4CSS/article.html

References:
- [platform-dev] Dynamically change the title of editor's tabs
  - From: Arian Fornaris
- Re: [platform-dev] Dynamically change the title of editor's tabs
  - From: Ed Merks
- Re: [platform-dev] Dynamically change the title of editor's tabs
  - From: Lars Vogel
- Re: [platform-dev] Dynamically change the title of editor's tabs
  - From: Arian Fornaris
- Re: [platform-dev] Dynamically change the title of editor's tabs
  - From: Lars Vogel

Prev by Date: Re: [platform-dev] Impact of Windows Defender and Eclipse startup
Next by Date: Re: [platform-dev] Impact of Windows Defender and Eclipse startup
Previous by thread: Re: [platform-dev] Dynamically change the title of editor's tabs
Next by thread: [platform-dev] Committer Election for Jens Lidestrom on Eclipse Platform has started
Index(es):
- Date
- Thread

Back to the top