public function addButton($name, $label = NULL, $destination = NULL, array $arguments = []) { return new Button($this, $name, $label, $destination, $arguments); }