Make sure the REPL buttons are always toggled correctly