Skip to content

Pull requests: eclipse-theia/theia-ide

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

dev: fix rebuild
#433 opened Dec 18, 2024 by sdirix Loading…
1 task done
Make icon foldernames consistently plural.
#403 opened Sep 27, 2024 by seltzered Loading…
1 task done
Updated the "What is this?" section of the Theia IDE README
#347 opened Mar 28, 2024 by dannaf Loading…
1 task done
Enable Portable Mode in Blueprint
#276 opened Jul 10, 2023 by vladarama Loading…
1 task done
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.