-
-
Notifications
You must be signed in to change notification settings - Fork 489
Pull requests: arduino/arduino-ide
Pull requests list
fix: use Related to the Theia IDE framework
type: imperfection
Perceived defect in any part of project
ElectronConnectionHandler
to connect the ide updater frontend and the electron main process
topic: theia
#2697
by giacomocusinato
was merged Apr 9, 2025
Loading...
fix: prevent Related to content of the project itself
topic: theia
Related to the Theia IDE framework
type: imperfection
Perceived defect in any part of project
OutputWidget
to gain focus when updated
topic: code
#2681
by giacomocusinato
was merged Apr 3, 2025
Loading...
feat: use Related to content of the project itself
topic: theia
Related to the Theia IDE framework
type: enhancement
Proposed improvement
theia@1.57.0
topic: code
#2654
by giacomocusinato
was merged Mar 28, 2025
Loading...
4 tasks
chore: use Has already been submitted
topic: code
Related to content of the project itself
topic: theia
Related to the Theia IDE framework
type: enhancement
Proposed improvement
theia@1.46.1
conclusion: duplicate
#2362
by kittaakos
was closed Mar 25, 2025
Loading...
4 tasks
chore(deps): update to Theia Related to the Theia IDE framework
type: enhancement
Proposed improvement
1.42.1
topic: theia
fix: falsy context menu Related to content of the project itself
topic: theia
Related to the Theia IDE framework
type: imperfection
Perceived defect in any part of project
handlerId
topic: code
#2183
by kittaakos
was merged Aug 22, 2023
Loading...
4 tasks
chore(deps): Updated to Theia Related to content of the project itself
topic: infrastructure
Related to project infrastructure
topic: security
Related to the protection of user data
topic: theia
Related to the Theia IDE framework
type: enhancement
Proposed improvement
1.39.0
topic: code
#2144
by kittaakos
was merged Aug 14, 2023
Loading...
1 of 5 tasks
chore: Theia 1.37.0
topic: code
Related to content of the project itself
topic: security
Related to the protection of user data
topic: theia
Related to the Theia IDE framework
type: enhancement
Proposed improvement
#2027
by kittaakos
was merged May 9, 2023
Loading...
4 tasks
NO-MERGE: chore: Updated to Issue/PR not valid
topic: code
Related to content of the project itself
topic: infrastructure
Related to project infrastructure
topic: theia
Related to the Theia IDE framework
1.36.0
Theia
conclusion: invalid
chore: updated to Theia Issue/PR not valid
topic: code
Related to content of the project itself
topic: theia
Related to the Theia IDE framework
1.35.0
conclusion: invalid
fix: let the resource finish all write operation
topic: code
Related to content of the project itself
topic: theia
Related to the Theia IDE framework
type: imperfection
Perceived defect in any part of project
#1972
by kittaakos
was merged Mar 28, 2023
Loading...
4 tasks
chore: Updated to Theia Related to content of the project itself
topic: infrastructure
Related to project infrastructure
topic: theia
Related to the Theia IDE framework
type: enhancement
Proposed improvement
1.31.1
topic: code
#1662
by kittaakos
was merged Nov 29, 2022
Loading...
4 tasks
Better tooltips.
topic: code
Related to content of the project itself
topic: theia
Related to the Theia IDE framework
type: imperfection
Perceived defect in any part of project
#1504
by dankeboy36
was merged Oct 7, 2022
Loading...
4 tasks
#989 Listen on keyboard layout changes from the OS
topic: code
Related to content of the project itself
topic: theia
Related to the Theia IDE framework
type: imperfection
Perceived defect in any part of project
#1478
by kittaakos
was merged Sep 26, 2022
Loading...
4 tasks
#1210 Fixed highlighting of non-unicode chars in Output
topic: code
Related to content of the project itself
topic: theia
Related to the Theia IDE framework
type: imperfection
Perceived defect in any part of project
#1375
by kittaakos
was merged Aug 31, 2022
Loading...
4 tasks
Update BUILDING.md
topic: documentation
Related to documentation for the project
topic: infrastructure
Related to project infrastructure
topic: theia
Related to the Theia IDE framework
type: imperfection
Perceived defect in any part of project
#1281
by InstantMuffin
was merged Aug 3, 2022
Loading...
4 tasks done
Register custom themes after the monaco theme init
topic: code
Related to content of the project itself
topic: theia
Related to the Theia IDE framework
topic: theme
Related to GUI theming
type: imperfection
Perceived defect in any part of project
#1257
by AlbyIanna
was merged Jul 29, 2022
Loading...
4 tasks
[WIP]: Theia 1.27.0 signed
conclusion: invalid
Issue/PR not valid
topic: infrastructure
Related to project infrastructure
topic: theia
Related to the Theia IDE framework
type: enhancement
Proposed improvement
Update Theia version to 1.25.0
topic: theia
Related to the Theia IDE framework
#947
by msujew
was merged May 25, 2022
Loading...
4 tasks
Update Theia to 1.22.1
topic: infrastructure
Related to project infrastructure
topic: theia
Related to the Theia IDE framework
type: enhancement
Proposed improvement
#791
by msujew
was merged Feb 11, 2022
Loading...
Update Theia, CLI and LS
topic: code
Related to content of the project itself
topic: theia
Related to the Theia IDE framework
#610
by fstasi
was merged Nov 29, 2021
Loading...
Theia 18 hotfixes
topic: code
Related to content of the project itself
topic: theia
Related to the Theia IDE framework
type: imperfection
Perceived defect in any part of project
#528
by fstasi
was merged Oct 6, 2021
Loading...
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.
You can’t perform that action at this time.