Skip to content

Refactor/simplify prefs rs - #780

Merged
NSoiffer merged 4 commits into
daisy:mainfrom
moritz-gross:refactor/simplify-prefs-rs
Sep 22, 2026
Merged

NSoiffer merged 4 commits into
daisy:mainfrom
moritz-gross:refactor/simplify-prefs-rs

Conversation

@moritz-gross

@moritz-gross moritz-gross commented Sep 19, 2026

Copy link
Copy Markdown
Collaborator
  • undo unnecessary aliasing of base_prefs
  • simplify conditional flow for is_user_pref
  • simplify usage of join for paths

@moritz-gross moritz-gross added the rust Coding in Rust label Sep 20, 2026
Added a comment to prevent unnecessary updates if the value hasn't changed.
@NSoiffer
NSoiffer merged commit e46e7db into daisy:main Sep 22, 2026
9 checks passed
@github-project-automation github-project-automation Bot moved this from Triage to Done in MathCAT Project Board Sep 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

rust Coding in Rust

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants