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.

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

Bug on tiny line below focused goal tabs #1022

Open
FissoreD opened this issue Jan 30, 2025 · 0 comments
Open

Bug on tiny line below focused goal tabs #1022

FissoreD opened this issue Jan 30, 2025 · 0 comments

Comments

@FissoreD
Copy link
Contributor

Hello,

If I want to solve the following Goal:

Goal (1 = 1 /\ 2 = 2) /\ 3 = 3.
split. (*here I click Goal 2 (to see its shape) and then go back to Goal 1*)
split. (*after this split the line moves to goal 2*)
Abort.

The tiny line below the goal tabs seems to move when it not supposed to.
In the image photo attached you can see that, after the second split,

  • the current goal number, i.e. 1/3, is the good one
  • the css-color for the active tab, i.e. Goal 1, is set to var(--panel-tab-active-foreground) as expected
  • the line is below goal 2, while it should be on the first column

I think the problem is linked to the .activeIndicator class and the grid-column declaration which is not correctly updated

I hope you can replicate the bug 🤞

Image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant