[gtkmm] Assistant: Add get/set_page_has_padding().

[Murray Cumming <murrayc src gnome org>]

commit e25062490ae467c438937623dc3141708b95bfc0
Author: Murray Cumming <murrayc murrayc com>
Date:   Tue Jun 30 12:01:40 2015 +0200

    Assistant: Add get/set_page_has_padding().

 gtk/src/assistant.hg |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gtk/src/assistant.hg b/gtk/src/assistant.hg
index a61919f..4add455 100644
--- a/gtk/src/assistant.hg
+++ b/gtk/src/assistant.hg
@@ -80,6 +80,9 @@ public:
   _WRAP_METHOD(void update_buttons_state(), gtk_assistant_update_buttons_state)
   _WRAP_METHOD(void commit(), gtk_assistant_commit)
 
+  _WRAP_METHOD(void set_page_has_padding(const Widget& page, bool has_padding = true), 
gtk_assistant_set_page_has_padding)
+  _WRAP_METHOD(bool get_page_has_padding(const Widget& page) const, gtk_assistant_get_page_has_padding)
+
   _WRAP_SIGNAL(void prepare(Gtk::Widget* page), "prepare")
   _WRAP_SIGNAL(void apply(), "apply")
   _WRAP_SIGNAL(void close(), "close")