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

PR: Improve style of dockwidget tabbars (UI) #21133

Merged
merged 10 commits into from
Jul 28, 2023
Merged

PR: Improve style of dockwidget tabbars (UI) #21133

merged 10 commits into from
Jul 28, 2023

Commits on Jul 15, 2023

  1. Docks: Change tabbar style following agreed design

    @ccordoba12
    ccordoba12 committed Jul 15, 2023
    Configuration menu
    Copy the full SHA
    158b2e9 View commit details
    Browse the repository at this point in the history

  2. Stylesheet: Fix style for scroller buttons in DockTabBarStyleSheet 

    Also share that style with PanesTabBarStyleSheet.
    @ccordoba12
    ccordoba12 committed Jul 15, 2023
    Configuration menu
    Copy the full SHA
    b989378 View commit details
    Browse the repository at this point in the history

  3. Stylesheet: Make QTabBar scroll button icons smaller on Windows and Mac

    @ccordoba12
    ccordoba12 committed Jul 15, 2023
    Configuration menu
    Copy the full SHA
    e2c3033 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2023

  1. Docks: Change style for vertical tabs

    @ccordoba12
    ccordoba12 committed Jul 16, 2023
    Configuration menu
    Copy the full SHA
    aece336 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. Fix plugin margins and borders with the new dock widget tabs design

    @ccordoba12
    ccordoba12 committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    2305500 View commit details
    Browse the repository at this point in the history

  2. Docks: Require restart to switch to vertical tabs 

    That's because the PluginMainWidget layout depends now on tabs'
orientation, so this option can't be applied on the fly anymore.
    @ccordoba12
    ccordoba12 committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    a6d66b2 View commit details
    Browse the repository at this point in the history

  3. Working directory: Fix error that shows up when closing Spyder

    @ccordoba12
    ccordoba12 committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    852b5bb View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. Stylesheet: Prevent pane border to touch the bottom when it's no docked 

    Also, introduce a constant for this and remove hard-coded values
    @ccordoba12
    ccordoba12 committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    4e219a6 View commit details
    Browse the repository at this point in the history

  2. Find/Replace: Remove bottom margin 

    - That margin is not necessary anymore with the new dock tabbar style.
- Also improve its placement in the IPython console.
    @ccordoba12
    ccordoba12 committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    946904e View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. Stylesheet: Increase size of scroll buttons for toolbars

    @ccordoba12
    ccordoba12 committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    73f50e1 View commit details
    Browse the repository at this point in the history