Files

.github
.vscode
arduino-ide-extension
- scripts
- src
  - browser
    - auth
    - boards
    - components
    - contributions
    - create
    - data
    - dialogs
    - icons
    - ide-updater
    - library
    - local-cache
    - menu
    - serial
    - style
    - theia
    - toolbar
    - widgets
    - arduino-commands.ts
    - arduino-frontend-contribution.tsx
    - arduino-ide-frontend-module.ts
    - arduino-preferences.ts
    - arduino-workspace-resolver.ts
    - editor-mode.ts
    - notification-center.ts
    - response-service-impl.ts
    - storage-wrapper.ts
  - common
  - electron-browser
  - electron-common
  - electron-main
  - node
  - test
- README.md
- arduino-icons.json
- package.json
- tsconfig.json
browser-app
docs
electron-app
electron
i18n
scripts
static
.eslintrc.js
.gitignore
.prettierrc
BUILDING.md
LICENSE.txt
README.md
lerna.json
package.json
yarn.lock

browser

Disable widget dragging/splitting (#940 )

Apr 5, 2022

c430cf0 · Apr 5, 2022

Name	Name	Last commit message	Last commit date
parent directory ..
auth	auth	Translating Arduino-IDE using Theia's nls API (#545 )	Oct 18, 2021
boards	boards	Fix board options not shown for manually installed platforms (#826 )	Feb 14, 2022
components	components	Check for IDE update at startup (#797 )	Feb 15, 2022
contributions	contributions	Fix `Find Next` command	Mar 15, 2022
create	create	handling pagination in getting the sketches (#875 )	Mar 8, 2022
data	data	[ATL-1533] Firmware&Certificate Uploader (#469 )	Aug 25, 2021
dialogs	dialogs	#919 , #881 : Fixed 3rd party URLs-related issues (#920 )	Apr 4, 2022
icons	icons	[ATL-1599] [ATL-1416] Upgrade Theia to 1.18.0 (#489 )	Oct 6, 2021
ide-updater	ide-updater	fix IDE updater commands (#872 )	Mar 1, 2022
library	library	Update Theia, CLI and LS (#610 )	Nov 29, 2021
local-cache	local-cache	Improve remote sketchbook explorer (#459 )	Jul 22, 2021
menu	menu	Serial Plotter implementation (#597 )	Nov 23, 2021
serial	serial	Update Theia to 1.22.1 (#791 )	Feb 11, 2022
style	style	#919 , #881 : Fixed 3rd party URLs-related issues (#920 )	Apr 4, 2022
theia	theia	Disable widget dragging/splitting (#940 )	Apr 5, 2022
toolbar	toolbar	Make tab width 2 spaces (#445 )	Jul 9, 2021
widgets	widgets	Update Theia to 1.22.1 (#791 )	Feb 11, 2022
arduino-commands.ts	arduino-commands.ts	Make tab width 2 spaces (#445 )	Jul 9, 2021
arduino-frontend-contribution.tsx	arduino-frontend-contribution.tsx	Disable widget dragging/splitting (#940 )	Apr 5, 2022
arduino-ide-frontend-module.ts	arduino-ide-frontend-module.ts	Check for IDE update at startup (#797 )	Feb 15, 2022
arduino-preferences.ts	arduino-preferences.ts	add preference to set a custom update url (#865 )	Feb 28, 2022
arduino-workspace-resolver.ts	arduino-workspace-resolver.ts	Open all closed workspaces on startup (#780 )	Feb 11, 2022
editor-mode.ts	editor-mode.ts	Make tab width 2 spaces (#445 )	Jul 9, 2021
notification-center.ts	notification-center.ts	Make tab width 2 spaces (#445 )	Jul 9, 2021
response-service-impl.ts	response-service-impl.ts	Update Theia, CLI and LS (#610 )	Nov 29, 2021
storage-wrapper.ts	storage-wrapper.ts	Make tab width 2 spaces (#445 )	Jul 9, 2021

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

GitHub Sponsors

Files

browser

browser

Files

browser

Directory actions

More options

Directory actions

More options

Latest commit

History

browser

Folders and files

parent directory