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 "open tabs" drop down #12411

Merged
merged 5 commits into from
May 2, 2023
Merged

Add "open tabs" drop down #12411

merged 5 commits into from
May 2, 2023

Commits on Apr 30, 2023

  1. Add "open tabs" drop down 

    Adds a drop down allowing to chose among open editors when there is too
little space to show all open tabs.

Part of eclipse-theia#12328

Contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
    @tsmaeder
    tsmaeder committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    d14a9f7 View commit details
    Browse the repository at this point in the history

  2. Fix page object model & tests to fit new tabs UI 

    Signed-off-by: Thomas Mäder <[email protected]>
    @tsmaeder
    tsmaeder committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    676090c View commit details
    Browse the repository at this point in the history

  3. Only apply close box styling in "dynamic" case. 

    Signed-off-by: Thomas Mäder <[email protected]>
    @tsmaeder
    tsmaeder committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    00264d8 View commit details
    Browse the repository at this point in the history

  4. Fix tab detaching behaviour 

    Signed-off-by: Thomas Mäder <[email protected]>
    @tsmaeder
    tsmaeder committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    33d4c68 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2023

  1. Addressed non-functional comments & fixed scroll/resize behavior 

    Signed-off-by: Thomas Mäder <[email protected]>
    @tsmaeder
    tsmaeder committed May 1, 2023
    Configuration menu
    Copy the full SHA
    d6f8c73 View commit details
    Browse the repository at this point in the history