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 FileSelection Widget #83

Merged
merged 10 commits into from
Dec 21, 2023
Merged

Add FileSelection Widget #83

merged 10 commits into from
Dec 21, 2023

Commits on Dec 9, 2023

  1. Add settings gui add_file_selection

    @AlexKnauth
    AlexKnauth committed Dec 9, 2023
    Configuration menu
    Copy the full SHA
    22c4fbc View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. derive Gui attribute args

    @AlexKnauth
    AlexKnauth committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    0a2ae3f View commit details
    Browse the repository at this point in the history

  2. Add FileSelection Widget

    @AlexKnauth
    AlexKnauth committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    7306ad3 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2023

  1. cargo fmt

    @AlexKnauth
    AlexKnauth committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    3fefd44 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2023

  1. replace args attribute with filter

    @AlexKnauth
    AlexKnauth committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    a3a7bd1 View commit details
    Browse the repository at this point in the history

  2. revert some args-attribute-related changes

    @AlexKnauth
    AlexKnauth committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    32de0d9 View commit details
    Browse the repository at this point in the history

  3. Document filter ; semicolons

    @AlexKnauth
    AlexKnauth committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    e7b7dc2 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2023

  1. Document filter attribute

    @AlexKnauth
    AlexKnauth committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    53a1688 View commit details
    Browse the repository at this point in the history

  2. FileSelection path is WASI path

    @AlexKnauth
    AlexKnauth committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    a361028 View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2023

  1. Final cleanup

    @CryZe
    CryZe committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    cea1f74 View commit details
    Browse the repository at this point in the history