Martin Steiger

Why did you delete your comment @mboso? If the theme plugin was part of the default eclipse packages, your suggestion would be the most logical thing to do. Still, it...

This was already started here: https://github.com/eclipse-color-theme/eclipse-color-theme/pull/254 I think it's a great starting point, but it looks like the theme plugin isn't really active anymore, so it might not get merged...

Can you please elaborate a bit? What would the data from https://json.org/example.html look like in such a view?

Alternatively, a more user-friendly encoding such as Markdown might make sense. It would also support italic/bold text and used directly for in-game chat. Unfortunately, color encoding isn't possible. Related: #1817,...

Very interesting - thanks for the hint. Do you know if there's a grammar available for ANTLR4 ?

No, sorry. I use IntelliJ now most of the time and don't work on this plugin anymore. If you want to create a PR, I would review and test it,...

Not out of the box, but doable. You can render whatever you want on top of the tiles. There are several custom renderers available in the example projects. Do you...

Thanks, I will try to reproduce the error.

Sorry for the long delay. I am able to reproduce the problem and will debug it a bit. Maybe I can find something... in the meantime, did find anything related...

Wow, impressive research, thanks a lot!