Skip to content
New issue

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

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

Already on GitHub? # to your account

Disable Breadcrumbs #611

Merged
merged 1 commit into from
Nov 23, 2021
Merged

Disable Breadcrumbs #611

merged 1 commit into from
Nov 23, 2021

Conversation

fstasi
Copy link
Contributor

@fstasi fstasi commented Nov 16, 2021

Why

In the last update of Theia we included breadcrumbs just below the tab name. This is an optional feature that we do not plan to support, hence needs to disabled by default. Advanced users can still enable breadcrumbs using the unsupported theia preferences via theia preference panel.

How

Set the breadcrumbs to be disabled by default

@fstasi fstasi requested a review from AlbyIanna November 16, 2021 14:24
@per1234 per1234 added the topic: code Related to content of the project itself label Nov 16, 2021
@ubidefeo ubidefeo self-requested a review November 18, 2021 14:52
Copy link

@ubidefeo ubidefeo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM
thanks

@ubidefeo
Copy link

PR approved

@fstasi fstasi force-pushed the remove-default-breadcrumbs branch from 1476ab3 to 81b79f3 Compare November 23, 2021 11:13
@fstasi fstasi merged commit 13734a6 into main Nov 23, 2021
@fstasi fstasi deleted the remove-default-breadcrumbs branch November 23, 2021 11:14
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
topic: code Related to content of the project itself
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants