[gtkmm] Widget: Add scale-factor property.

[Murray Cumming <murrayc src gnome org>]

commit 662240f5dfb7a24842b5ee9292420e98088945c7
Author: Murray Cumming <murrayc murrayc com>
Date:   Tue Mar 18 12:45:48 2014 +0100

    Widget: Add scale-factor property.

 gtk/src/widget.hg |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gtk/src/widget.hg b/gtk/src/widget.hg
index 9e6be04..5953a8a 100644
--- a/gtk/src/widget.hg
+++ b/gtk/src/widget.hg
@@ -802,6 +802,7 @@ _CONVERSION(`GdkScreen*',`const Glib::RefPtr<Gdk::Screen>&',`Glib::wrap($3, true
   _WRAP_PROPERTY("vexpand-set", bool)
   _WRAP_PROPERTY("expand", bool)
   _WRAP_PROPERTY("opacity", double)
+  _WRAP_PROPERTY("scale-factor", int)
 
 protected: