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

Add typing to pens #2936

Open
wants to merge 7 commits into
base: main
Choose a base branch
from
Open

Add typing to pens #2936

wants to merge 7 commits into from

Commits on Dec 25, 2022

  1. Type base pens

    @madig
    madig committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    07572ff View commit details
    Browse the repository at this point in the history

  2. Type various graphical backend pens 

    And maybe fix WxPen in the process.
    @madig
    madig committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    dc8d66c View commit details
    Browse the repository at this point in the history

  3. Type various tool pens

    @madig
    madig committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    4ff3308 View commit details
    Browse the repository at this point in the history

  4. Type various internal pens

    @madig
    madig committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    81a7714 View commit details
    Browse the repository at this point in the history

  5. Type Cu2Qu pens

    @madig
    madig committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    ac116b1 View commit details
    Browse the repository at this point in the history

  6. Type some test pens

    @madig
    madig committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    36cc396 View commit details
    Browse the repository at this point in the history

  7. Add new modules for mypy to check

    @madig
    madig committed Dec 25, 2022
    Configuration menu
    Copy the full SHA
    3033cd1 View commit details
    Browse the repository at this point in the history