Re: [eclipse-dev] Platform tips and tricks wiki created

[Lars Vogel <lars.vogel@xxxxxxxxxxx>]

I like Mickaels proposal. This would allow to re-use existing content. The only restrictions is that we cannot use animated GIFs, which are really nice to demo certain functionality.

Mickael, can you open a bug for this proposal?

Mickael Istria <mistria@xxxxxxxxxx> schrieb am Mo., 11. Juni 2018, 20:37:

On Mon, Jun 11, 2018 at 6:03 PM, Daniel Megert <daniel_megert@xxxxxxxxxx> wrote:

Hereare tons to pick from.

I suggest we replace the wiki page by a documentation about how to contribute to this list, and create a dedicated TipProvider that reads this list directly to present it in the Tip of the Day dialog (with other tip providers).

_______________________________________________
eclipse-dev mailing list
eclipse-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/eclipse-dev