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

PR: Change pane tabs design #21071

Closed
wants to merge 9 commits into from

Conversation

jsbautista
Copy link
Contributor

@jsbautista jsbautista commented Jun 26, 2023

Description of Changes

Change design of pane tabs for them to look different to the tabs of the console and editor

A preview:

  • Tab selected:
    image

  • Hover over tab not selected:
    image

  • Scroll buttons when there is not enough space to show all the tabs
    image

Issue(s) Resolved

Fixes spyder-ide/ux-improvements#4

Affirmation

By submitting this Pull Request or typing my (user)name below,
I affirm the Developer Certificate of Origin
with respect to all commits and content included in this PR,
and understand I am releasing the same under Spyder's MIT (Expat) license.

I certify the above statement is true and correct:
@jsbautista

@dalthviz dalthviz added this to the v6.0alpha2 milestone Jun 26, 2023
@dalthviz dalthviz changed the title PR: Design pane tabs PR: Change pane tabs design Jun 26, 2023
@jsbautista
Copy link
Contributor Author

Preview:
tabpages

@dalthviz dalthviz self-assigned this Jul 11, 2023
@dalthviz dalthviz requested a review from ccordoba12 July 11, 2023 23:05
@ccordoba12
Copy link
Member

ccordoba12 commented Jul 12, 2023

Hey @jsbautista and @dalthviz, thanks for your work on this! Since I saw the design you decided to implement when I took a look at this PR some days ago, I also decided to resurrect some code I worked on two years ago to try to implement this feature.

Now I think I have a result closer to what was discussed on spyder-ide/ux-improvements#4:

image

so I'd suggest we should use that instead.

I'm sorry if you invested too much time on this and for not informing you about my efforts before. I just wasn't sure if I could do better than what you've done here.

@dalthviz
Copy link
Member

Is there already a PR to link as the one that supersedes this one @ccordoba12 ?

@ccordoba12
Copy link
Member

See PR #21133.

@dalthviz dalthviz removed this from the v6.0alpha2 milestone Jul 14, 2023
@dalthviz
Copy link
Member

Closing as superseded by #21133

@dalthviz dalthviz closed this Jul 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Change design of pane tabs for them to look different to the tabs of the console and editor
3 participants