The GUI is initialized before DataManager loads the settings file, so we need to update the checkboxes on page change too. Change-Id: If4c694872608ec4014220364bd759c1399502994
5.8 KiB
5.8 KiB