Gary Tierney
04/27/2024, 5:45 PMseb
04/29/2024, 8:42 AMseb
04/29/2024, 8:43 AMGary Tierney
04/29/2024, 8:52 AMAre you thinking about providing runtime custom theming?yeah, that's right, just for compatibility with some existing IntelliJ theme plugins that users might want to use (admittedly I'm not sure how that might look or which ones might be compatible with the new UI either, I've always stuck to IJ's stock dark themes). I'll write it in a separate module for now and see how it actually looks in practice, maybe it can be useful to others in the future
seb
04/29/2024, 8:53 AMGary Tierney
04/29/2024, 9:03 AMThemeDescriptor
for something that wraps the same IntellijThemeDescriptor
that the jewel buildscripts use