Fathy Boundjadj
|
5d8fa89d8b
|
Add getWorker to MonacoEnvironment
|
2018-03-17 19:51:34 +01:00 |
|
Alex Dima
|
66091601a5
|
Ship editor in ESM format
|
2018-03-15 14:44:15 +01:00 |
|
Alex Dima
|
d1e209bb67
|
Fix some TS noImplicitAny and noUnusedLocals warnings
|
2017-05-20 15:03:02 +02:00 |
|
Benjamin Pasero
|
9867fda809
|
debt - get rid of flags.ts
|
2016-11-16 17:51:42 +01:00 |
|
Johannes Rieken
|
6681a2a7d6
|
tsfmt - src
|
2016-10-08 09:53:13 +02:00 |
|
Alex Dima
|
b457326a02
|
Remove no longer used code (due to vs/languages removal)
|
2016-10-07 17:55:50 +02:00 |
|
Alex Dima
|
72ef20b5b3
|
Improve monaco-editor-core bundling
|
2016-09-18 23:05:42 +03:00 |
|
Alex Dima
|
f708ded77e
|
Allow define queue to be consumed by loader before reacting to incoming worker messages
|
2016-09-07 17:48:51 +02:00 |
|
Alex Dima
|
88b3b0cf1a
|
Add labels to web workers
|
2016-09-07 17:48:51 +02:00 |
|
Pavel Kolev
|
b24186629f
|
Fix sending message to terminated worker
|
2016-08-23 16:28:45 +03:00 |
|
Alex Dima
|
3b7f84d27a
|
There is precisely one compatibility web worker
|
2016-06-25 20:05:51 +02:00 |
|
Alex Dima
|
50fabe9c15
|
Bring back MonacoEnvironment (rename GlobalEnvironment back to MonacoEnvironment)
|
2016-06-24 12:15:25 +02:00 |
|
Alex Dima
|
eefcdc9dd7
|
Handle better the case when web workers are not available / misconfigured
|
2016-06-23 11:32:50 +02:00 |
|
Benjamin Pasero
|
70072cbedb
|
MonacoEnvironment => GlobalEnvironment
|
2016-04-25 09:41:44 +02:00 |
|
Alex Dima
|
63c85fb3b2
|
Fixes #5077: Do not use query string when creating the web workers
|
2016-04-08 11:47:58 +02:00 |
|
Joao Moreno
|
68f4d1eb60
|
streamline lifecycle methods
|
2016-03-23 10:06:12 +00:00 |
|
Alex Dima
|
bc76d98e00
|
Prefer lowercase c in (c)
|
2016-02-24 14:28:46 +01:00 |
|
Alex Dima
|
6e5a331ac7
|
Organize imports
|
2016-02-21 23:54:14 +01:00 |
|
Alex Dima
|
7beea5ca32
|
Stop simple editor worker after 5 min if it's not used
|
2016-02-18 16:50:49 +01:00 |
|
Alex Dima
|
2345824184
|
Compute diff and dirtyDiff on a private editor worker
|
2016-02-18 16:50:46 +01:00 |
|
Alex Dima
|
57d7b84dee
|
Adopt dom.addDisposableListener in the few places still using addListener
|
2016-02-02 18:26:18 +01:00 |
|
Pascal Borreli
|
16fc6b7585
|
Fixed typos
|
2015-11-22 15:45:31 +00:00 |
|
Erich Gamma
|
8f35cc4768
|
Hello Code
|
2015-11-13 14:39:38 +01:00 |
|