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
      - debug
      - dialogs
      - editor
      - filesystem
      - keymaps
      - markers
      - messages
      - monaco
      - navigator
      - outline
      - output
      - plugin-ext
      - preferences
      - scm
      - search-in-workspace
      - terminal
        terminal-frontend-contribution.ts
        terminal-widget-impl.ts
      - 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
    - storage-wrapper.ts
  - common
  - electron-browser
  - electron-common
  - electron-main
  - node
  - test
- README.md
- arduino-icons.json
- package.json
- tsconfig.json
docs
electron-app
electron
i18n
scripts
static
.eslintrc.js
.gitignore
.prettierrc
BUILDING.md
LICENSE.txt
README.md
lerna.json
package.json
yarn.lock

terminal

fix(terminal): split-terminal visibility

Jun 28, 2023

18366e2 · Jun 28, 2023

Name		Name	Last commit message	Last commit date
parent directory ..
terminal-frontend-contribution.ts		terminal-frontend-contribution.ts	fix(terminal): `split-terminal` visibility	Jun 28, 2023
terminal-widget-impl.ts		terminal-widget-impl.ts	fix(terminal): widget flickering on resize	Jun 27, 2023