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

Add breadcrumbs for editors #9920

Merged
merged 2 commits into from
Sep 1, 2021
Merged

Add breadcrumbs for editors #9920

merged 2 commits into from
Sep 1, 2021

Commits on Sep 1, 2021

  1. Add breadcrumbs bar to editor widget 

    This commit adds a breadcrumbs bar to the editor widget. It shows the path to the current file and outline information as breadcrumbs. A click of breadcrumbs allows to jump to other files or to code sections.

Fixes #5475

Signed-off-by: Cornelius A. Ludmann <cornelius.ludmann@typefox.io>
    @corneliusludmann @colin-grant-work
    corneliusludmann authored and colin-grant-work committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    d6c3c92 View commit details
    Browse the repository at this point in the history

  2. Add breadcrumbs to tabbar 

    Signed-off-by: Colin Grant <colin.grant@ericsson.com>
    @colin-grant-work
    colin-grant-work committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    81ddeee View commit details
    Browse the repository at this point in the history