Hi all,

On the @EclipseJavaIDE twitter account, a user took care of detailing the
main issues he get with the dark theme and latest release on GTK. See
https://twitter.com/cristatus/status/1105043646624210947

I think this is valuable input to prioritize the work regarding theme
support. There may be some other glitches here and there, but those are the
main ones end-user notice.

Cheers
-- 
Mickael Istria
Eclipse IDE <https://www.eclipse.org/downloads/eclipse-packages/>
developer, for Red Hat Developers <https://developers.redhat.com/>
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To change your delivery options, retrieve your password, or unsubscribe from 
this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev

Reply via email to