Giacomo Cusinato e36f393682 fix: prevent OutputWidget to gain focus when updated (#2681)

2025-04-03 17:51:30 +02:00

..

about-dialog.ts

chore(deps): Updated to Theia 1.39.0 (#2144)

2023-08-14 12:12:05 +02:00

application-shell.ts

fix: prevent OutputWidget to gain focus when updated (#2681)

2025-04-03 17:51:30 +02:00

browser-menu-plugin.ts

Speed up IDE startup time.

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

common-frontend-contribution.ts

feat: use theia@1.57.0 (#2654)

2025-03-29 01:33:25 +09:00

connection-status-service.ts

feat: use theia@1.57.0 (#2654)

2025-03-29 01:33:25 +09:00

frontend-application.ts

fix: main sketch file editor focus on layout reset

2022-11-29 10:51:19 +01:00

json-schema-store.ts

Speed up IDE startup time.

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

shell-layout-restorer.ts

Fixed widget lookup to eliminate duplicate tabs.

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

sidebar-bottom-menu-widget.tsx

feat: use theia@1.57.0 (#2654)

2025-03-29 01:33:25 +09:00

tab-bar-decorator.ts

chore: format resources 💄

2023-09-26 10:06:47 +02:00

tab-bars.ts

chore: updated to Theia 1.37.0

2023-05-09 17:37:24 +02:00

theming.ts

chore: updated to Theia 1.37.0

2023-05-09 17:37:24 +02:00

widget-manager.ts

feat: rename, deletion, and validation support

2023-02-15 14:09:36 +01:00

window-contribution.ts

Cleaned up File menu.

2022-06-17 13:11:08 +02:00

window-service-ext.ts

chore: updated to Theia 1.37.0

2023-05-09 17:37:24 +02:00

window-title-updater.ts

chore: updated to Theia 1.37.0

2023-05-09 17:37:24 +02:00