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

Fix resizers #3222

Merged
merged 4 commits into from Sep 2, 2023
Merged

Fix resizers #3222

merged 4 commits into from Sep 2, 2023

Commits on Sep 2, 2023

  1. Check if resizer patches are drawn before removing them

    @ericpre
    ericpre committed Sep 2, 2023
    Configuration menu
    Copy the full SHA
    c2b37fe View commit details
    Browse the repository at this point in the history

  2. Don't display resizers when widget is added, as they should displayed… 

    … when they are selected, otherwise this is inconsistent when several widgets are added
    @ericpre
    ericpre committed Sep 2, 2023
    Configuration menu
    Copy the full SHA
    e1f7168 View commit details
    Browse the repository at this point in the history

  3. Add changelog entry

    @ericpre
    ericpre committed Sep 2, 2023
    Configuration menu
    Copy the full SHA
    d694e39 View commit details
    Browse the repository at this point in the history

  4. Update upcoming_changes/3222.bugfix.rst

    @jlaehne
    jlaehne committed Sep 2, 2023
    Configuration menu
    Copy the full SHA
    50b0dec View commit details
    Browse the repository at this point in the history