Found a problem with how the menus width in css was decided. The tool had not been pushed to the toolHistory yet