/** * Render the form field corresponding to this button * (Will be overridden by subclasses; they may render more specific button types) * * @param OutputDriver $driver The output driver object */ function _render_field(&$driver) { $driver->field_pushbutton($this->get_left_padding(), $this->get_top_padding(), $this->get_width() + $this->get_padding_left() + $this->get_padding_right(), $this->get_height() + $this->get_padding_top() + $this->get_padding_bottom()); }