Skip to content

Issues: eclipse-theia/theia

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
20 Open 287 Closed
20 Open 287 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Fix Release Instructions contributor experience issues related to the contributor experience documentation issues related to documentation
#12879 opened Aug 30, 2023 by tsmaeder
@vince-fugnitto
4
ci: invalid workflow for publish github pages ci issues related to CI / tests documentation issues related to documentation
#12846 opened Aug 21, 2023 by vince-fugnitto
typedoc: warnings about missing documentation generation bug bugs found in the application documentation issues related to documentation
#11942 opened Dec 1, 2022 by vince-fugnitto
Improve Preferences documentation documentation issues related to documentation preferences issues related to preferences
#11497 opened Aug 3, 2022 by fipro78
1
Document secure deployment and security measures documentation issues related to documentation proposal feature proposals (potential future features) security issues related to security
#9322 opened Apr 9, 2021 by mgjm
2
document how to debug theia api test contributor experience issues related to the contributor experience documentation issues related to documentation help wanted issues meant to be picked up, require help test issues related to unit and api tests
#7645 opened Apr 22, 2020 by amiramw
@amiramw
2
document how to debug unit tests via Run Mocha Tests documentation issues related to documentation help wanted issues meant to be picked up, require help
#7402 opened Mar 23, 2020 by akosyakov
4
[documentation] add information regarding all available commands and their descriptions commands issues related to application commands documentation issues related to documentation enhancement issues that are enhancements to current functionality - nice to haves
#7203 opened Feb 24, 2020 by marcdumais-work
7
document: add guide on how to perform license checks for vscode extensions documentation issues related to documentation
#7088 opened Feb 5, 2020 by vince-fugnitto
2
Adopt a policy that protects against further deterioration of keyboard operability accessibility issues related to accessbilitiy documentation issues related to documentation keybindings issues related to keybindings
#7082 opened Feb 5, 2020 by chrisjj
@akosyakov
5
documentation: add adopter, getting-started, tutorial, test documentation documentation issues related to documentation
#7069 opened Feb 4, 2020 by vince-fugnitto Theia 1.0.0
@svenefftinge
make Theia dev docs interactive documentation issues related to documentation enhancement issues that are enhancements to current functionality - nice to haves
#6949 opened Jan 23, 2020 by akosyakov
[doc] Make sure extension developers compile against ES5 documentation issues related to documentation quality issues related to code and application quality
#6761 opened Dec 17, 2019 by kittaakos
4
--hostname fails, and provides no information docker issues related to docker documentation issues related to documentation theia-cli issues related to the theia-cli
#6719 opened Dec 8, 2019 by dannaf
2
Documentations for Theia CLI seems lacking documentation issues related to documentation enhancement issues that are enhancements to current functionality - nice to haves
#5151 opened May 15, 2019 by sr229
2
Documentation & Examples documentation issues related to documentation question user / developer questions
#3390 opened Nov 4, 2018 by rodenp
10
[documentation] Manually clean up local storage browser local storage issues related to the browser local storage documentation issues related to documentation
#2454 opened Jul 26, 2018 by lmcbout
[documentation] Update the coding guidelines with the listener disposals documentation issues related to documentation quality issues related to code and application quality
#1912 opened May 16, 2018 by kittaakos
consider using "Read the Docs" to generate Theia documentation documentation issues related to documentation
#1351 opened Feb 22, 2018 by marcdumais-work
7
[doc] Document how to extend the existing stylings in the navigator documentation issues related to documentation enhancement issues that are enhancements to current functionality - nice to haves
#1339 opened Feb 22, 2018 by kittaakos
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.