Skip to content
Pro
Block or report user

Report or block svenefftinge

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@xtext @TypeFox @gitpod-io
Block or report user

Report or block svenefftinge

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

    TypeScript 5k 639

  2. Ready-to-code dev evironments for GitHub

    579 46

  3. External `.gitpod.yml` files.

    Dockerfile 25 20

  4. DEPRECATED. Gitpod's documentation is here: https://github.com/gitpod-io/website/tree/master/src/docs

    JavaScript 3 10

  5. Ready to use docker images for Gitpod workspaces

    Dockerfile 29 22

  6. Eclipse Xtext™ is a language development framework

    473 232

Contribution activity

August 2019

Created a pull request in theia-ide/theia that received 6 comments

[navigator] Added toolbar to disable auto sync

What it does This adds a toolbar command to the navigator, that allows to easily disable the auto-sync between editor and navigator. How to test Op…

+53 −10 6 comments

Created an issue in theia-ide/theia that received 5 comments

[debug] callstack not expanded on breakpoint stop

Starting a launch config with a breakpoint (nodejs) that hits, doesn't expand the call stack on the left. It should reveal the debug view and the c…

5 comments
21 contributions in private repositories Aug 2 – Aug 21

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.