Misc simplifications#1018

Merged

amilcarlucas merged 3 commits into

misc_simplifications

Nov 5, 2025

Commits on Nov 5, 2025

refactor(about window): refactor to a new file
amilcarlucas
committed
fix(configuration_manager): Avoid asking the same question multiple times.
amilcarlucas
committed
ci(pyright): Use the same settings as on pyrightconfig.json
amilcarlucas
committed