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
    - utils
    - widgets
    - arduino-commands.ts
    - arduino-frontend-contribution.tsx
    - arduino-ide-frontend-module.ts
    - arduino-preferences.ts
    - arduino-workspace-resolver.ts
    - editor-mode.ts
    - hosted-plugin-events.ts
    - ino-selectors.ts
    - monitor-manager-proxy-client-impl.ts
    - monitor-model.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

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

francescospissu

use margin for the input instead of padding

Jul 8, 2022

3db6eb8 · Jul 8, 2022

History

Name	Name	Last commit message	Last commit date
parent directory ..
auth	auth	Follow up 944: authentication sessions are not persistent (#1003 )	Jun 7, 2022
boards	boards	Update package index on 3rd party URLs change.	Jul 8, 2022
components	components	Updated Theia to 1.25.0	May 25, 2022
contributions	contributions	Update package index on 3rd party URLs change.	Jul 8, 2022
create	create	Speed up IDE startup time.	Jun 7, 2022
data	data	Update buttons style (#1122 )	Jul 8, 2022
dialogs	dialogs	Update buttons style (#1122 )	Jul 8, 2022
icons	icons	[ATL-1599] [ATL-1416] Upgrade Theia to 1.18.0 (#489 )	Oct 6, 2021
ide-updater	ide-updater	Updated Theia to 1.25.0	May 25, 2022
library	library	Update package index on 3rd party URLs change.	Jul 8, 2022
local-cache	local-cache	Updated Theia to 1.25.0	May 25, 2022
menu	menu	Serial Plotter implementation (#597 )	Nov 23, 2021
serial	serial	Pluggable monitor (#982 )	Jun 7, 2022
style	style	use margin for the input instead of padding	Jul 8, 2022
theia	theia	Update buttons style (#1122 )	Jul 8, 2022
toolbar	toolbar	Speed up IDE startup time.	Jun 7, 2022
utils	utils	Reveal the error location after on failed verify.	Jun 21, 2022
widgets	widgets	Update buttons style (#1122 )	Jul 8, 2022
arduino-commands.ts	arduino-commands.ts	Make tab width 2 spaces (#445 )	Jul 9, 2021
arduino-frontend-contribution.tsx	arduino-frontend-contribution.tsx	Update buttons style (#1122 )	Jul 8, 2022
arduino-ide-frontend-module.ts	arduino-ide-frontend-module.ts	Update package index on 3rd party URLs change.	Jul 8, 2022
arduino-preferences.ts	arduino-preferences.ts	Reveal the error location after on failed verify.	Jun 21, 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	Updated Theia to 1.25.0	May 25, 2022
hosted-plugin-events.ts	hosted-plugin-events.ts	Fixed LS stops working after OS sleep/wakeup cycle	Jun 7, 2022
ino-selectors.ts	ino-selectors.ts	Reveal the error location after on failed verify.	Jun 21, 2022
monitor-manager-proxy-client-impl.ts	monitor-manager-proxy-client-impl.ts	Pluggable monitor (#982 )	Jun 7, 2022
monitor-model.ts	monitor-model.ts	Pluggable monitor (#982 )	Jun 7, 2022
notification-center.ts	notification-center.ts	Update package index on 3rd party URLs change.	Jul 8, 2022
response-service-impl.ts	response-service-impl.ts	Update package index on 3rd party URLs change.	Jul 8, 2022
storage-wrapper.ts	storage-wrapper.ts	Updated Theia to 1.25.0	May 25, 2022

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