Skip to content

Pull requests: arduino/arduino-ide

New pull request New

Clear current search query, filters, and sorts

1 Open 8 Closed

Pull requests list

Update Theia, CLI and LS topic: code topic: theia

#610 by fstasi was merged Nov 29, 2021

Loading...

5

@ubidefeo @per1234

#989 Listen on keyboard layout changes from the OS topic: code topic: theia type: imperfection

#1478 by kittaakos was merged Sep 26, 2022

Loading...

4 tasks

1

Theia 18 hotfixes topic: code topic: theia type: imperfection

#528 by fstasi was merged Oct 6, 2021

Loading...

1

NO-MERGE: chore: Updated to 1.36.0 Theia conclusion: invalid topic: code topic: infrastructure topic: theia

#2011 by kittaakos was closed Apr 12, 2023 • Draft

4 tasks

1

chore: updated to Theia 1.35.0 conclusion: invalid topic: code topic: theia

#1976 by kittaakos was closed Apr 20, 2023 • Draft

4 tasks

1

2

chore: use theia@1.46.1 conclusion: duplicate topic: code topic: theia type: enhancement

#2362 by kittaakos was closed Mar 25, 2025

Loading...

4 tasks

2

Update Theia to 1.22.1 topic: infrastructure topic: theia type: enhancement

#791 by msujew was merged Feb 11, 2022

Loading...

23

chore: Theia 1.37.0 topic: code topic: security topic: theia type: enhancement

#2027 by kittaakos was merged May 9, 2023

Loading...

4 tasks

2

39

ProTip! Add no:assignee to see everything that’s not assigned.