This definition should go out into SettingsPanels.js