Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-ui-dev] [ide-dev] Tips Framework
Hi Sopot,

Yes animated gifs are supported. 

Tips can also directly consume wiki pages like this [1]
Tips can also directly consume twitter links like this [2] (although I have some trouble making them full size)

Cheers,

Wim

[1] https://wiki.eclipse.org/Tip_of_the_Day/Eclipse_Tips/Now_where_was_I
[2] https://twitter.com/EclipseJavaIDE/status/950331477035814912




On Mon, Jan 8, 2018 at 3:53 PM, Sopot Cela <scela@xxxxxxxxxx> wrote:
Hello Wim and thanks for the work so far.

Are animated GIFs supported as content?

Sopot

On Mon, Jan 8, 2018 at 10:29 AM, Wim Jongman <wim.jongman@xxxxxxxxx> wrote:
Hi,

Over the past month, I have been working on the Eclipse Tips framework [1]. The Tip Framework enables your project to provide a Tip Provider that shows your latest tips. Tips can be statically coded in Java but also fetched from the internet. Tips are context-aware (i.e. Java tips will show when the JDT perspective is open).

While still under heavy development, I think I am ready to invite you to participate in beta testing, suggestions, continued development, UX advice, and/or creation of your Tip Provider.

Interested parties are invited to install the framework [2]. The sources are currently hosted on Github which contains some basic explanation [3]. The framework itself also contains tips about the tips.

You can use the GitHub issue system for feedback and/or provide pull requests (pull request require you to sign the Eclipse CLA).

Below you see an impression of the UI

Cheers,

Wim

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


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

Back to the top