Implementing the button in the solver bar.