Code for adding a button in the title bar (unused for now)