search

unlhcc / HCCGo

A GUI application for submitting and managing jobs at the Holland Computing Center
6 stars 4 forks source link

PreferencesManager doesn't refresh when file is updated #253

Open adamfitzgibbon opened 7 years ago

adamfitzgibbon commented 7 years ago

If a preference is updated, the service doesn't refresh so it doesn't see any changes when getPreferences is called.