Akos Kitta 908ec4c544 fix: menu item enablement issues ...

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

2022-12-15 09:21:45 +01:00

..

core

fix: menu item enablement issues

2022-12-15 09:21:45 +01:00

debug

feat: patched the Theia debug functionality

2022-12-01 11:43:25 +01:00

dialogs

chore: Updated to Theia 1.31.1 (#1662)

2022-11-29 09:39:54 +01:00

editor

chore: Updated to Theia 1.31.1 (#1662)

2022-11-29 09:39:54 +01:00

keymaps

Speed up IDE startup time.

2022-06-07 13:46:29 +02:00

markers

chore: Updated to Theia 1.31.1 (#1662)

2022-11-29 09:39:54 +01:00

messages

chore: Updated to Theia 1.31.1 (#1662)

2022-11-29 09:39:54 +01:00

monaco

chore: Updated to Theia 1.31.1 (#1662)

2022-11-29 09:39:54 +01:00

navigator

Speed up IDE startup time.

2022-06-07 13:46:29 +02:00

outline

Speed up IDE startup time.

2022-06-07 13:46:29 +02:00

output

Fixed highlighting of non-unicode chars in Output

2022-08-31 21:16:07 +02:00

plugin-ext

feat: patched the Theia debug functionality

2022-12-01 11:43:25 +01:00

preferences

Implemented filter and update all for libs/boards.

2022-08-31 10:07:27 +02:00

scm

Speed up IDE startup time.

2022-06-07 13:46:29 +02:00

search-in-workspace

Fixed missing translations

2022-09-26 10:49:31 +02:00

typehierarchy

chore: Updated to Theia 1.31.1 (#1662)

2022-11-29 09:39:54 +01:00

workspace

chore: Updated to Theia 1.31.1 (#1662)

2022-11-29 09:39:54 +01:00