GUI elements used to watch and edit GINNet preferences.