Skip to content
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

Jump to bottom

Allow disabling of breadcrumbs on a per language basis #54587

Open
Tyriar opened this issue Jul 18, 2018 · 1 comment
Open

Allow disabling of breadcrumbs on a per language basis #54587

Tyriar opened this issue Jul 18, 2018 · 1 comment
Assignees
@jrieken
Labels
breadcrumbs feature-request Request for new features or functionality polish Cleanup and polish issue
Milestone
Backlog

Comments

@Tyriar
Copy link
Member

Tyriar commented Jul 18, 2018

I want to do this:

  "[markdown]": {
    "breadcrumbs.enabled": false
  }
@Tyriar
Copy link
Member Author

Tyriar commented Jul 18, 2018

On a side note, shouldn't the setting be editor.breadcrumbs.enabled, like editor.minimap.enabled, since it's within the editor (from the user's perspective)?

@jrieken jrieken added the polish Cleanup and polish issue label Jul 19, 2018
@jrieken jrieken added this to the July 2018 milestone Jul 19, 2018
@jrieken jrieken modified the milestones: July 2018, August 2018 Jul 27, 2018
@jrieken jrieken added the feature-request Request for new features or functionality label Jul 27, 2018
@jrieken jrieken removed this from the August 2018 milestone Aug 23, 2018
@jrieken jrieken added this to the Backlog milestone Jan 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jrieken jrieken

Labels
breadcrumbs feature-request Request for new features or functionality polish Cleanup and polish issue
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
2 participants
@jrieken @Tyriar