jbicker
c54ae96a3c
Overwritten EditorWidgetFactory, made editor widget not closable.
...
Signed-off-by: jbicker <jan.bicker@typefox.io>
2019-06-24 15:09:04 +02:00
jbicker
b7cf9e6755
Removed menu, changed colors
...
Signed-off-by: jbicker <jan.bicker@typefox.io>
2019-06-13 07:55:58 +02:00
Sven Efftinge
97135bd08e
More styling impr. and less UI contributions
2019-05-09 19:32:01 +02:00
Akos Kitta
507fbd0fd1
Updated the README with the build step.
...
From now on, Electron `4.x` is used for the dev.
Otherwise, we could not use `@grpc/grpc-js`.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-05-09 09:11:18 +02:00
Akos Kitta
7678937a62
Updated to next (879de31d) Theia.
...
To have the keybinding issue fixed for electron.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-05-08 22:31:09 +02:00
Akos Kitta
6f584bf5d6
Fixed the electron build.
...
- Switched from `grpc` to `@grpc/grpc-js`.
- Use electron `4.x` due to `@grpc/grpc-js`.
- Enabled the build on Azure Pipelines.
- From now on, the TS/JS generation is manual.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-05-08 22:31:09 +02:00
Akos Kitta
50c1c7dcb2
Fixed a race condition when requestng core client.
...
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-05-07 14:24:59 +02:00
Christian Weichel
201351fea8
Moving repo to bmci-labs
2019-05-06 10:25:29 +02:00
