#152 use button manager to toggle the generation and abortion buttons