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.

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

Validate all preferences when reading global_prefs and global_prefs_override #5050

Open
wants to merge 8 commits into
base: master
Choose a base branch
from

Commits on Jan 1, 2023

  1. Configuration menu
    Copy the full SHA
    424af33 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bba346d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ca66078 View commit details
    Browse the repository at this point in the history
  4. Revise errors

    Vulpine05 committed Jan 1, 2023
    Configuration menu
    Copy the full SHA
    f1908ec View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2023

  1. Configuration menu
    Copy the full SHA
    cf5c8b0 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2023

  1. feat: completed validate_global_prefs

    Add an upper limit for doubles, add day-of-week validation, revises method for printing alerts.
    Vulpine05 committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    0f604bf View commit details
    Browse the repository at this point in the history
  2. docs: add comment

    To note where validation occurs in cs_prefs.
    Vulpine05 committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    0008ddc View commit details
    Browse the repository at this point in the history
  3. chore: fix whitepsace

    Vulpine05 committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    a0a6eb7 View commit details
    Browse the repository at this point in the history