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
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
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
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
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