Anton Kosyakov

gifs and images are dated

Support exempt labels for issues

1

For example, an issue does not need a comment if it is labeled with `windows`.

support globs in .leewayignore

1

Could also one reuse .gitignore?

document releases flow

1

Including nightly updates.

serve webviews from own origin by default

1

We must publish static files to the CDN service for each release and use this CDN service to serve webviews.

es test coverage

1

## Description ``` ./scripts/es-coverage.sh curl lama.sh | LAMA_PORT=8888 sh gp preview http://localhost:8888/coverage/lcov-report --external ``` ## Related Issue(s) Fixes # ## How to test ## Documentation #### Preview status gitpod:summary ##...

support vscode web

2

I'm trying to install it in VS Code Browser for gitpod.io

Set a primary source element for elements derived by AA, otherwise navigation and UI features like find references are broken.

2

See: [org.eclipse.xtend.lib.macro.services.Associator](https://github.com/eclipse/xtext/blob/e9f0e284c42cda97ea57086c31ba2f5160049b26/plugins/org.eclipse.xtend.lib.macro/src/org/eclipse/xtend/lib/macro/services/Associator.java).setPrimarySourceElement(MutableElement, Element)

Allow to create a new folder in the file dialog

2

Otherwise one first should open the parent folder, create a new folder and then open it.