8000 Commits · arduino/arduino-ide · GitHub

Commits

Commits on Oct 6, 2022

fix menu registration
Alberto Iannaccone
committed
change mainMenuManager visibility to private
Alberto Iannaccone
committed
fix interface scale step
Alberto Iannaccone
committed
remove useless async
Alberto Iannaccone
committed
remove excessive settings duplicate
Alberto Iannaccone
committed
limit font-size + refactor
Alberto Iannaccone
committed
debounce interface scale updates
Alberto Iannaccone
committed
limit interface scale
Alberto Iannaccone
committed

Commits on Oct 5, 2022

Removed `real_name` of the libraries.

Akos Kitta
authored and
kittaakos
committed
Various library/platform index update fixes

Akos Kitta
authored and
kittaakos
committed

Commits on Oct 4, 2022

Commits on Oct 3, 2022

Correct text of "INSTALLED" label in Library/Boards Manager
per1234
committed

Commits on Sep 29, 2022

Dialog focus (#1472)
Alberto Iannaccone
authored

Commits on Sep 27, 2022

fix splitHandle above widget

r3inbowari
authored and
per1234
committed
Avoid intellisense widgets being covered by the bottom panel

r3inbowari
authored and
per1234
committed

Commits on Sep 26, 2022

Commits on Sep 22, 2022

Use the parent of the existing sketch if not temp.

Akos Kitta
authored and
kittaakos
committed
Made the file dialogs modal.

Akos Kitta
authored and
kittaakos
committed
< 9E81 /li>

Commits on Sep 21, 2022

Avoid new line if 3rd party URLs text is too long (#1474)
francescospissu
authored
Ensure `directories.user` exists.

Akos Kitta
authored and
kittaakos
committed

Commits on Sep 20, 2022

0