[platform-dev] New splash screen

2021-01-21 Thread Wim Jongman
A new splash screen is being discussed here https://bugs.eclipse.org/bugs/show_bug.cgi?id=569333 ___ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev

Re: [platform-dev] Parallel Builds

2021-01-21 Thread Mickael Istria
Hi, On Thu, Jan 21, 2021 at 12:29 PM Peter Kriens wrote: > I wonder if there are any people actively working on this > I'm not aware of ongoing work on this topic. However, it's more or less feature-complete from Platform POV (there may be bugs to report and fix, but nothing new is planned nor

[platform-dev] Parallel Builds

2021-01-21 Thread Peter Kriens
I am Peter Kriens, one of the leads of Bndtools. I am currently looking how to parallelize the Bndtools build. bnd is a _headless_ build _model_ that is used to program the _driver_. Bndtools is such a drivers, as is Gradle, ant, and a command line application. The problem we're running into i

Re: [platform-dev] GenericEditor and Codeformat

2021-01-21 Thread Mickael Istria
Hi, Code Formatting is an operation that happens at document level more than on editor, and there isn't enough material to extract and provide some generic API to do that (it often relies on language specific parsing and so on); so the Generic Editor doesn't have much support for it. The closest t

[platform-dev] GenericEditor and Codeformat

2021-01-21 Thread Christoph Läubrich
I'd like to support custom codeformat for a content type in the genericeditor. Is this supported or do I need to hook into keybindings/commandhandler for this? ___ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit