Skip to content

Pull requests: eclipse-theia/theia-website

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
Assigned to nobody Loading
Sort

Pull requests list

Add security headers as meta tags to the HTML head
#559 opened May 29, 2024 by xai Contributor Draft
Fix typo in theia-ide github hyperlink at TheiaIDEHeader.js
#524 opened Feb 27, 2024 by dannaf Contributor Loading…
WIP: Restructure Blueprint section
#407 opened Mar 23, 2023 by jfaltermeier Contributor Draft
Nav: Fix small issues.
#112 opened May 17, 2020 by nisarhassan12 Contributor Draft
ProTip! Adding no:label will show everything without a label.