Files

.github
.vscode
arduino-ide-extension
- scripts
- src
  - browser
    - auth
    - boards
    - components
    - config
    - contributions
    - create
    - data
    - dialogs
    - icons
    - ide-updater
    - library
    - local-cache
    - menu
    - serial
    - style
    - theia
      - core
        about-dialog.ts
        application-shell.ts
        browser-menu-plugin.ts
        common-frontend-contribution.ts
        connection-status-service.ts
        frontend-application.ts
        json-schema-store.ts
        shell-layout-restorer.ts
        sidebar-bottom-menu-widget.tsx
        tab-bar-decorator.ts
        tab-bars.ts
        theming.ts
        widget-manager.ts
        window-contribution.ts
        window-service-ext.ts
        window-title-updater.ts
      - debug
      - dialogs
      - editor
      - filesystem
      - keymaps
      - markers
      - messages
      - monaco
      - navigator
      - outline
      - output
      - plugin-ext
      - preferences
      - scm
      - search-in-workspace
      - terminal
      - typehierarchy
      - workspace
    - toolbar
    - utils
    - widgets
    - app-service.ts
    - arduino-frontend-contribution.tsx
    - arduino-ide-frontend-module.ts
    - arduino-preferences.ts
    - dialog-service.ts
    - hosted-plugin-events.ts
    - monitor-manager-proxy-client-impl.ts
    - monitor-model.ts
    - notification-center.ts
    - response-service-impl.ts
    - selectors.ts
    - sketches-service-client-impl.ts
  - common
  - electron-browser
  - electron-common
  - electron-main
  - node
  - test
- README.md
- arduino-icons.json
- package.json
- tsconfig.json
docs
electron-app
i18n
scripts
static
.eslintrc.js
.gitignore
.prettierignore
.prettierrc.json
BUILDING.md
LICENSE.txt
README.md
lerna.json
package.json
yarn.lock

core

This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Akos Kitta

chore(deps): update to Theia 1.42.1

Oct 13, 2023

4663207 · Oct 13, 2023

History

Name	Name	Last commit message	Last commit date
parent directory ..
about-dialog.ts	about-dialog.ts	chore(deps): Updated to Theia `1.39.0` (#2144 )	Aug 14, 2023
application-shell.ts	application-shell.ts	fix: relaxed `saveAll` if no Internet connection	Jun 8, 2023
browser-menu-plugin.ts	browser-menu-plugin.ts	Speed up IDE startup time.	Jun 7, 2022
common-frontend-contribution.ts	common-frontend-contribution.ts	chore(deps): update to Theia `1.42.1`	Oct 13, 2023
connection-status-service.ts	connection-status-service.ts	chore(deps): Updated to Theia `1.39.0` (#2144 )	Aug 14, 2023
frontend-application.ts	frontend-application.ts	fix: main sketch file editor focus on layout reset	Nov 29, 2022
json-schema-store.ts	json-schema-store.ts	Speed up IDE startup time.	Jun 7, 2022
shell-layout-restorer.ts	shell-layout-restorer.ts	Fixed widget lookup to eliminate duplicate tabs.	Jun 22, 2022
sidebar-bottom-menu-widget.tsx	sidebar-bottom-menu-widget.tsx	chore(deps): Updated to Theia `1.39.0` (#2144 )	Aug 14, 2023
tab-bar-decorator.ts	tab-bar-decorator.ts	chore: format resources 💄	Sep 26, 2023
tab-bars.ts	tab-bars.ts	chore: updated to Theia `1.37.0`	May 9, 2023
theming.ts	theming.ts	chore: updated to Theia `1.37.0`	May 9, 2023
widget-manager.ts	widget-manager.ts	feat: rename, deletion, and validation support	Feb 15, 2023
window-contribution.ts	window-contribution.ts	Cleaned up `File` menu.	Jun 17, 2022
window-service-ext.ts	window-service-ext.ts	chore: updated to Theia `1.37.0`	May 9, 2023
window-title-updater.ts	window-title-updater.ts	chore: updated to Theia `1.37.0`	May 9, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

GitHub Sponsors

Files

core

core

Files

core

Directory actions

More options

Directory actions

More options

Latest commit

History

core

Folders and files

parent directory