Skip to content

Pull requests: eclipse-theia/theia

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

Fix editor preference localizations editor issues related to the editor localization issues related to localization/internalization/nls preferences issues related to preferences
#14018 opened Aug 6, 2024 by msujew Loading…
1 task done
Rely on IConfigurationService change event to update model options
#13994 opened Aug 2, 2024 by tsmaeder Loading…
1 task done
Don't use ChannelMultiplexer in RPCProtocol
#13980 opened Aug 1, 2024 by tsmaeder Loading…
1 task done
feat(plugin-ext): Fix instanceof check to handle VSCode URIs vscode issues related to VSCode compatibility
#13961 opened Jul 25, 2024 by t1m0thyj Loading…
1 task
Allow opening changes for files associated with custom editors custom-editor issues related to custom-editor functionality diff editor issues related to the diff editor
#13916 opened Jul 11, 2024 by pisv Loading…
1 task done
2
4
Fix automated releases repo issues specific to the repository
#13834 opened Jun 20, 2024 by msujew Loading…
1 task done
Include build into publish GH pages workflow
#13822 opened Jun 18, 2024 by JonasHelming Draft
1 task done
Enable browser tests on all platforms
#13806 opened Jun 12, 2024 by tsmaeder Draft
1 task
Fix the issue of not updating recentList on unload workspace issues related to the workspace
#13797 opened Jun 11, 2024 by newliuyaoyan Loading…
1 task done
feat: add support for files.insertFinalNewline during formatOnSave
#13751 opened Jun 3, 2024 by xai Loading…
1 task done
Perform yarn upgrade
#13748 opened Jun 3, 2024 by jfaltermeier Loading…
1 task done
Support collaboration feature collaboration issues related to collaboration
#13309 opened Jan 24, 2024 by msujew Draft
1 task done
Perform remote backend copy via http
#13039 opened Oct 30, 2023 by jonah-iden Loading…
1 task done
Draft: Terminal Manager terminal issues related to the terminal
#12726 opened Jul 18, 2023 by kenneth-marut-work Draft
1 task done
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.