Jonas Helming

Results 48 issues of Jonas Helming

I added a custom svg ("heart") and a ShapeTypeHint configuring resizable to true, but no edit handles are shown. Full reproducer: https://github.com/JonasHelming/glsp-examples/blob/34f0ea79fee784116e694d23994f4e8637ae8742/minimal/server/org.eclipse.glsp.example.minimal/src/main/java/org/eclipse/glsp/example/minimal/MinimalDiagramConfiguration.java#L38 Can be built exacty like the minimal example

bug
client

Workflow example / Theia Integration When I copy an element via the context menu or the edit menu I get this error on paste and nothing happens: "Please use the...

theia

We recently discussed process improvements to better support adopters to upgrade to new Theia versions. One thing we decided on is to discovered potential breaks as early as possible so...

ci

After splitting the updater from the rpdocut branding (https://github.com/eclipse-theia/theia-blueprint/pull/43) we should consider renaming the updater extension. It is actually generic, so it could potentially be reused by any other application...

fixed #131 Signed-off-by: Jonas Helming

@vince-fugnitto : Do you agree? I will check other templates, too then. https://github.com/eclipse-theia/generator-theia-extension/blob/29455453c7da0d0aaef73a4e5ae5f70879f86e72/templates/hello-world/frontend-module.ts#L10

If the build on main fails, it is likely that the underlying Theia project has some API breakage. We should notify interested parties, either some committer or a mailing list...

The user can specify an arbitrary Theia version. However, we have no mechanism to ensure that any of the templates work on anything else then latest (which we check in...

as highlighted in the coding guidlines. Affects at least "hello world" and "backend", others to be checked... https://github.com/eclipse-theia/theia/wiki/Coding-Guidelines#property-injection

proposal

This epic collects improvements relevant for the Theia IDE **Current endgame issue for next release (1.63)** - [ ] #15802 **Current endgame issue for current release (1.62.2)** - [ ]...

help wanted
epic
blueprint
community pulse