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

Editor tab scrollbar not adjusted when closing editors #12476

Closed
tsmaeder opened this issue May 2, 2023 · 0 comments · Fixed by #12477
Closed

Editor tab scrollbar not adjusted when closing editors #12476

tsmaeder opened this issue May 2, 2023 · 0 comments · Fixed by #12477
Assignees
@tsmaeder
Labels
bug bugs found in the application editor issues related to the editor

Comments

@tsmaeder
Copy link
Contributor

tsmaeder commented May 2, 2023

Bug Description:

When closing editor tabs in "non-shrinking" mode, the scrollbar in the tab bar is not adjusted

Steps to Reproduce:

  1. Make sure "Tabs: Shrink to fit" is disabled
  2. Open enough editors to have to scroll to see all editor tabs
  3. Scroll all the way to the end
  4. Close a couple of editors until scrolling should not be necessary anymore
  5. Observe: the scrollbar is not adjusted.

Additional Information

  • Operating System: Windows
  • Theia Version: 1.37 master
@tsmaeder tsmaeder added bug bugs found in the application editor issues related to the editor labels May 2, 2023
@tsmaeder tsmaeder self-assigned this May 2, 2023
tsmaeder added a commit to tsmaeder/theia that referenced this issue May 2, 2023
@tsmaeder
Fix condition when editor tabs scroll bar needs to be updated
9b52742 
Fixes eclipse-theia#12476

Contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
@tsmaeder tsmaeder mentioned this issue May 2, 2023
Merged
1 task
tsmaeder added a commit that referenced this issue May 2, 2023
@tsmaeder
Fix condition when editor tabs scroll bar needs to be updated (#12477)
b6de884 
Fixes #12476

Contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
tsmaeder added a commit to tsmaeder/theia that referenced this issue May 23, 2023
@tsmaeder
Fix condition when editor tabs scroll bar needs to be updated (eclips…
223c43a 
…e-theia#12477)

Fixes eclipse-theia#12476

Contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tsmaeder tsmaeder

Labels
bug bugs found in the application editor issues related to the editor
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix condition when editor tabs scroll bar needs to be updated tsmaeder/theia
1 participant
@tsmaeder