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

GUI: NumberInput small improvements #3840

Draft
wants to merge 4 commits into
base: dev
Choose a base branch
from
Draft

GUI: NumberInput small improvements #3840

wants to merge 4 commits into from
+10 −4

Commits on Aug 14, 2024

  1. GUI: NumberInput allow empty default

    @Willy-JL
    Willy-JL committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    df72a7e View commit details
    Browse the repository at this point in the history

  2. Align input bar to keyboard and header

    @Willy-JL
    Willy-JL committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    28cbdc9 View commit details
    Browse the repository at this point in the history

  3. Visual feedback of pressing 0

    @Willy-JL
    Willy-JL committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    dc34763 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Merge branch 'dev' into number-input-empty-default

    @skotopes
    skotopes authored Sep 5, 2024
    Configuration menu
    Copy the full SHA
    16b8a9c View commit details
    Browse the repository at this point in the history