Search results

GLSP no longer uses sprotty-theia

Status: Open.

#93 In eclipse-sprotty/sprotty-theia;

· tortmayr opened on Mar 16, 2023

Move diagram <code>edit-diagram-locker.ts</code> to sprotty?

Status: Open.

#70 In eclipse-sprotty/sprotty-theia;

· tortmayr opened on Nov 16, 2020

Sprotty: On clicking "Open in Diagram" from right click options in yaml file, why is diagram not opened in new tab on right side?

Status: Open.

#68 In eclipse-sprotty/sprotty-theia;

· Samridhiseth opened on Oct 7, 2020

Allow diagram widget to be displayed as a preview widget

Status: Open.

#37 In eclipse-sprotty/sprotty-theia;

· debovema opened on May 9, 2019

Make diagram resize configurable

Status: Open.

#33 In eclipse-sprotty/sprotty-theia;

· NiklasRentzCAU opened on Apr 3, 2019

[di] consider injecting services from Theia directly

Status: Open.

#27 In eclipse-sprotty/sprotty-theia;

· JanKoehnlein opened on Mar 4, 2019

[lsp] revise undo / redo

Status: Open.

#7 In eclipse-sprotty/sprotty-theia;

· JanKoehnlein opened on Nov 2, 2018