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
42 Open 344 Closed
42 Open 344 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

Add option to sync configuration preferences issues related to preferences proposal feature proposals (potential future features)
#14249 opened Oct 3, 2024 by alculete
1
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
[Feature] Add support for vertical tabs preferences issues related to preferences ui/ux issues related to user interface / user experience
#13979 opened Aug 1, 2024 by rrmistry
2
Status of search.exclude setting preferences issues related to preferences
#13823 opened Jun 18, 2024 by madmini
1
Support terminal.integrated.rightClickBehavior configuration preferences issues related to preferences terminal issues related to the terminal
#12644 opened Jun 22, 2023 by kittaakos
[style] Selection box style error preferences issues related to preferences ui/ux issues related to user interface / user experience
#12619 opened Jun 13, 2023 by inlann
Improve Preferences documentation documentation issues related to documentation preferences issues related to preferences
#11497 opened Aug 3, 2022 by fipro78
1
window font-size change? preferences issues related to preferences 🤔 needs more info issues that require more info from the author
#11188 opened May 21, 2022 by helloworldmygithub
3
workbench.list.openMode doesn't apply in SIW, plugin TreeViews preferences issues related to preferences tree issues related to the tree (ex: tree widget)
#11123 opened May 10, 2022 by kenneth-marut-work
VSCode Extensions (xaver.clang-format) property contributions can conflict with Theia implementation preferences issues related to preferences
#10873 opened Mar 11, 2022 by Niklas-Dahlquist
Handle files.autoSave options onFocusChange and onWindowChange editor issues related to the editor preferences issues related to preferences
#10812 opened Feb 28, 2022 by colin-grant-work
Support editor.wrapTabs preference preferences issues related to preferences vscode issues related to VSCode compatibility
#10383 opened Nov 4, 2021 by colin-grant-work
2
Menu scrolling error in preferences bug bugs found in the application preferences issues related to preferences
#10085 opened Sep 11, 2021 by shuyaqian
@colin-grant-work
5
It's easy to get language overrides without languages bug bugs found in the application preferences issues related to preferences
#9460 opened May 10, 2021 by colin-grant-work
Suppress Preference Events until Preference Service Ready performance issues related to performance preferences issues related to preferences quality issues related to code and application quality
#9367 opened Apr 16, 2021 by colin-grant-work
Better Handling of Settings Sections preferences issues related to preferences
#9255 opened Mar 25, 2021 by colin-grant-work
WorkspacePreferenceProvider Events Inconsistent preferences issues related to preferences
#8923 opened Jan 6, 2021 by colin-grant-work
7
Support variable substitution in settings.json preferences issues related to preferences
#8805 opened Nov 30, 2020 by bjornhansen
As a Theia user I want to disable tab-bar badges via a preference badge issues related to badge decorations enhancement issues that are enhancements to current functionality - nice to haves preferences issues related to preferences
#8709 opened Nov 4, 2020 by kittaakos
2
[Preference]: Add show modified settings menu-item enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help preferences issues related to preferences
#8252 opened Jul 28, 2020 by Anasshahidd21
theming: support theming customizations through the preferences enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help preferences issues related to preferences theming issues related to theming
#8060 opened Jun 19, 2020 by vince-fugnitto
4
Binding to Abstract PreferenceProvider class core issues related to the core of the application preferences issues related to preferences
#8032 opened Jun 17, 2020 by mikael-desharnais
11
Command execution buttons (Run | Debug) not available in a JAVA project until we refresh the widget bug bugs found in the application help wanted issues meant to be picked up, require help java issues related to the java language preferences issues related to preferences
#7748 opened May 5, 2020 by lmcbout
9
Preference change does not fire an onPreferencedChanged event bug bugs found in the application help wanted issues meant to be picked up, require help preferences issues related to preferences
#7685 opened Apr 28, 2020 by kenneth-marut-work
3
Unexpected Value in Preference Change Notification preferences issues related to preferences
#7480 opened Apr 1, 2020 by tsmaeder
11
ProTip! Add no:assignee to see everything that’s not assigned.