Akos Kitta 84109e416a Fixed widget lookup to eliminate duplicate tabs. ...

- Removed `@theia/editor-preview`,
 - Patched opener options when repairing layout on start, and
 - Compare widget keys with deepEquals instead of string equal.

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>

2022-06-22 10:11:11 +02:00

..

package.json

Fixed widget lookup to eliminate duplicate tabs.

2022-06-22 10:11:11 +02:00

webpack.config.js

[ATL-1599] [ATL-1416] Upgrade Theia to 1.18.0 (#489)

2021-10-06 13:55:55 +02:00