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

html: add radio buttons #435

Merged
merged 4 commits into from
Oct 2, 2023
Merged

html: add radio buttons #435

merged 4 commits into from
Oct 2, 2023

Commits on Sep 11, 2023

  1. make: update Python version to 3.11 

    Signed-off-by: Florian Scherf <mail@florianscherf.de>
    @fscherf
    fscherf committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    2be5420 View commit details
    Browse the repository at this point in the history

  2. test project: update Python version to 3.11 

    Signed-off-by: Florian Scherf <mail@florianscherf.de>
    @fscherf
    fscherf committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    0325973 View commit details
    Browse the repository at this point in the history

  3. html: AttributeDict: __delitem__: add support for patch issuer 

    With the `issuer` argument it is possible to make changes that don't get rolled
out to the original issuer of the change. In this particular case this is meant
to be used for radio buttons to synchronize the `checked` property on the
backend with the frontend.

Signed-off-by: Florian Scherf <mail@florianscherf.de>
    @fscherf
    fscherf committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    7c9e70d View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2023

  1. html: add RadioButton and RadioGroup 

    Signed-off-by: Florian Scherf <mail@florianscherf.de>
    @fscherf
    fscherf committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    bd7638e View commit details
    Browse the repository at this point in the history