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