Skip to content

Pull requests: arduino/arduino-ide

New pull request New

Clear current search query, filters, and sorts

0 Open 9 Closed

Pull requests list

fix: use ElectronConnectionHandler to connect the ide updater frontend and the electron main process topic: theia type: imperfection

#2697 by giacomocusinato was merged Apr 9, 2025

Loading...

1

1

fix: prevent OutputWidget to gain focus when updated topic: code topic: theia type: imperfection

#2681 by giacomocusinato was merged Apr 3, 2025

Loading...

1

feat: use theia@1.57.0 topic: code topic: theia type: enhancement

#2654 by giacomocusinato was merged Mar 28, 2025

Loading...

4 tasks

11

chore: Updated to Theia 1.31.1 topic: code topic: infrastructure topic: theia type: enhancement

#1662 by kittaakos was merged Nov 29, 2022

Loading...

4 tasks

7

17

Better tooltips. topic: code topic: theia type: imperfection

#1504 by dankeboy36 was merged Oct 7, 2022

Loading...

4 tasks

1

15

#1210 Fixed highlighting of non-unicode chars in Output topic: code topic: theia type: imperfection

#1375 by kittaakos was merged Aug 31, 2022

Loading...

4 tasks

1

2

Update BUILDING.md topic: documentation topic: infrastructure topic: theia type: imperfection

#1281 by InstantMuffin was merged Aug 3, 2022

Loading...

4 tasks done

6

Register custom themes after the monaco theme init topic: code topic: theia topic: theme type: imperfection

#1257 by AlbyIanna was merged Jul 29, 2022

Loading...

4 tasks

1

4

Update Theia version to 1.25.0 topic: theia

#947 by msujew was merged May 25, 2022

Loading...

4 tasks

1

32

ProTip! Mix and match filters to narrow down what you’re looking for.