Buttons are enabled and disabled to guide the user's workflow through the debugger.