Refresh windows when settings file changes

823e15d85aMax Brunsfeld committed on 5/17/2023, 11:02:21 PMparent667f476
2 files changedLine totals unavailable