Martin Fleck

Results 26 issues of Martin Fleck

In our use case using GDB as Debugger and Eclipse Theia as frontend, we encountered a scenario where the `threadsRequest` is called too early. In our scenario one debug session...

The `MI2DebugSession.threadsRequest` does not send a response if `MI2.getThreads` calls fails. We encountered this problem when using this extension with [Eclipse Theia](https://theia-ide.org/). Specifically, the UI relies on the session to...

#### What it does Fixes https://github.com/eclipse-theia/theia/issues/11302 - Extend debug model for compound launches -- Support pre-launch task, stopAll, list of configurations -- Properly parse compounds into configuration model -- Support...

debug

### Bug Description: When starting the Theia application and I want to start another Instance, I can use the following launch configurations: - `Launch Electron Backend` - `Attach to Plugin...

electron
debug

Following from the discussion in https://github.com/eclipse-glsp/glsp/discussions/702 it is possible to get an `InaccessibleObjectException` when using Gson on Java 17 due to a wrong module configuration: ``` java.lang.reflect.InaccessibleObjectException: Unable to make...

bug

When opening 2 Editors side by side, then selecting a node from the inactive editor, the editor doesn't grab focus; so all key-bindings are still delegated to the other editor....

eclipse

Investigating the [bug reported in GLSP](https://github.com/eclipse-glsp/glsp/issues/657), I saw that there is a bug in the Manhattan routing that prevents moving the single routing point. ![cannot-move-first-point](https://user-images.githubusercontent.com/19170971/189323603-15fe53fa-6cc7-43c3-b9b6-b29c9890f22a.gif) (it can also be reproduced...

bug

Layout actions introduced in #266 do not respect the settings for "no-element-overlap" (see #259). If this option is activated elements cannot be moved "above" other elements. This is not the...

bug
client

It seems that due to the difference in how the bounding box is calculated (`getBBox`, https://developer.mozilla.org/en-US/docs/Web/API/SVGGraphicsElement/getBBox) in different browsers, the ghost element feedback does not work as expected in Firefox:...

bug