Regarding the „image mining“:
Do you know
https://git.eclipse.org/r/#/q/project:platform/eclipse.platform.images This repo contains all the icons of platform
in high resolution.
I have that cloned and
just browse that with my file manager when searching for
Today we should not copy
GIFs or JPGs anymore but only use PNGs (that are available
also in high resolution PNG and SVG).
I know this only
captures platform icons but at least for these we have a
common place where the SVGs and the rendered PNGs are
Like Mickael, we've tried to more consistently have icons in
the Oomph's menus and buttons. It just seems prettier. :-P
But if you'll excuse my ignorance, what are "emojis"?
Unicode characters? Sorry to say that they don't look so nice
and if they are unicode characters you never know how they
will be rendered on each OS...
As for "image mining", I shouldn't admit this out loud, but I
wrote a small utility that scans all bundles with names
starting with org.eclipse.* that are in my very old and very
big bundle pool and finds all the gifs, jpegs, and pngs,
hashes them for image uniqueness, and then organizes them into
folder based on size, preserving the file name so I can search
for images based on those names. It's a pretty convenient
image shop. :-P
On 25.09.2019 12:14, Mickael Istria
reason for not having icons on the other
locations? The Add, Remove, Up, Down and Edit
buttons could also get icons (that already
either already exist in Eclipse or are known by
“everybody” from every day’s life).
Note that I don't have an answer,
but I fully agree with you that icon really improve
the "comfort" of the application as a user.
In Platform and JDT, I usually just
repeat the reference state and don't add icons to
buttons, but in other projects I work on, I usually
try to add an icon about everywhere. And actually
rather than building icons or digging existing icons
(which is a pretty expensive task), I usually just add
emojis in here. They just work and are well known:
Search (pretty good for remote/cloud search)
If we can collectively agree emojis
are fine, then I'd be glad to contrbute to building a
set of reference label->emoji recommendation and
upon approval make those used everywhere possible.
Wouldn't it be a topic to decide
through Architecture Council?
cross-project-issues-dev mailing list
To change your delivery options, retrieve your password, or unsubscribe from this list, visit