[vala] gtk+-3.0: Update to 3.11.2



commit 46d8b074cefb7152da02b5bee5961fedf1867170
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Tue Nov 19 07:47:33 2013 +0100

    gtk+-3.0: Update to 3.11.2

 vapi/gtk+-3.0.vapi                 |   11 ++++++++
 vapi/packages/gtk+-3.0/gtk+-3.0.gi |   45 +++++++++++++++++++++++++++++++++++-
 2 files changed, 55 insertions(+), 1 deletions(-)
---
diff --git a/vapi/gtk+-3.0.vapi b/vapi/gtk+-3.0.vapi
index ff504c8..daaec99 100644
--- a/vapi/gtk+-3.0.vapi
+++ b/vapi/gtk+-3.0.vapi
@@ -2361,16 +2361,19 @@ namespace Gtk {
                public HeaderBar ();
                public unowned Gtk.Widget get_custom_title ();
                public bool get_show_close_button ();
+               public bool get_show_fallback_app_menu ();
                public unowned string get_subtitle ();
                public unowned string get_title ();
                public void pack_end (Gtk.Widget child);
                public void pack_start (Gtk.Widget child);
                public void set_custom_title (Gtk.Widget title_widget);
                public void set_show_close_button (bool setting);
+               public void set_show_fallback_app_menu (bool setting);
                public void set_subtitle (string? subtitle);
                public void set_title (string title);
                public Gtk.Widget custom_title { get; set construct; }
                public bool show_close_button { get; set; }
+               public bool show_fallback_app_menu { get; set; }
                [NoAccessorMethod]
                public int spacing { get; set; }
                public string subtitle { get; set; }
@@ -4354,6 +4357,8 @@ namespace Gtk {
                [NoAccessorMethod]
                public bool gtk_shell_shows_app_menu { get; set; }
                [NoAccessorMethod]
+               public bool gtk_shell_shows_desktop { get; set; }
+               [NoAccessorMethod]
                public bool gtk_shell_shows_menubar { get; set; }
                [NoAccessorMethod]
                public bool gtk_show_input_method_menu { get; set; }
@@ -6183,8 +6188,10 @@ namespace Gtk {
                public bool get_hexpand_set ();
                public bool get_mapped ();
                public int get_margin_bottom ();
+               public int get_margin_end ();
                public int get_margin_left ();
                public int get_margin_right ();
+               public int get_margin_start ();
                public int get_margin_top ();
                public Gdk.ModifierType get_modifier_mask (Gdk.ModifierIntent intent);
                [Deprecated (replacement = "StyleContext with a custom StyleProvider", since = "3.0")]
@@ -6337,8 +6344,10 @@ namespace Gtk {
                public void set_hexpand_set (bool @set);
                public void set_mapped (bool mapped);
                public void set_margin_bottom (int margin);
+               public void set_margin_end (int margin);
                public void set_margin_left (int margin);
                public void set_margin_right (int margin);
+               public void set_margin_start (int margin);
                public void set_margin_top (int margin);
                public void set_no_show_all (bool no_show_all);
                public void set_opacity (double opacity);
@@ -6408,8 +6417,10 @@ namespace Gtk {
                [NoAccessorMethod]
                public int margin { get; set; }
                public int margin_bottom { get; set; }
+               public int margin_end { get; set; }
                public int margin_left { get; set; }
                public int margin_right { get; set; }
+               public int margin_start { get; set; }
                public int margin_top { get; set; }
                public string name { get; set; }
                public bool no_show_all { get; set; }
diff --git a/vapi/packages/gtk+-3.0/gtk+-3.0.gi b/vapi/packages/gtk+-3.0/gtk+-3.0.gi
index 4f05a1c..6d110e0 100644
--- a/vapi/packages/gtk+-3.0/gtk+-3.0.gi
+++ b/vapi/packages/gtk+-3.0/gtk+-3.0.gi
@@ -13633,6 +13633,12 @@
                                        <parameter name="bar" type="GtkHeaderBar*"/>
                                </parameters>
                        </method>
+                       <method name="get_show_fallback_app_menu" 
symbol="gtk_header_bar_get_show_fallback_app_menu">
+                               <return-type type="gboolean"/>
+                               <parameters>
+                                       <parameter name="bar" type="GtkHeaderBar*"/>
+                               </parameters>
+                       </method>
                        <method name="get_subtitle" symbol="gtk_header_bar_get_subtitle">
                                <return-type type="gchar*"/>
                                <parameters>
@@ -13676,6 +13682,13 @@
                                        <parameter name="setting" type="gboolean"/>
                                </parameters>
                        </method>
+                       <method name="set_show_fallback_app_menu" 
symbol="gtk_header_bar_set_show_fallback_app_menu">
+                               <return-type type="void"/>
+                               <parameters>
+                                       <parameter name="bar" type="GtkHeaderBar*"/>
+                                       <parameter name="setting" type="gboolean"/>
+                               </parameters>
+                       </method>
                        <method name="set_subtitle" symbol="gtk_header_bar_set_subtitle">
                                <return-type type="void"/>
                                <parameters>
@@ -13692,6 +13705,7 @@
                        </method>
                        <property name="custom-title" type="GtkWidget*" readable="1" writable="1" 
construct="1" construct-only="0"/>
                        <property name="show-close-button" type="gboolean" readable="1" writable="1" 
construct="0" construct-only="0"/>
+                       <property name="show-fallback-app-menu" type="gboolean" readable="1" writable="1" 
construct="0" construct-only="0"/>
                        <property name="spacing" type="gint" readable="1" writable="1" construct="0" 
construct-only="0"/>
                        <property name="subtitle" type="char*" readable="1" writable="1" construct="0" 
construct-only="0"/>
                        <property name="title" type="char*" readable="1" writable="1" construct="0" 
construct-only="0"/>
@@ -21051,6 +21065,7 @@
                        <property name="gtk-recent-files-max-age" type="gint" readable="1" writable="1" 
construct="0" construct-only="0"/>
                        <property name="gtk-scrolled-window-placement" type="GtkCornerType" readable="1" 
writable="1" construct="0" construct-only="0"/>
                        <property name="gtk-shell-shows-app-menu" type="gboolean" readable="1" writable="1" 
construct="0" construct-only="0"/>
+                       <property name="gtk-shell-shows-desktop" type="gboolean" readable="1" writable="1" 
construct="0" construct-only="0"/>
                        <property name="gtk-shell-shows-menubar" type="gboolean" readable="1" writable="1" 
construct="0" construct-only="0"/>
                        <property name="gtk-show-input-method-menu" type="gboolean" readable="1" writable="1" 
construct="0" construct-only="0"/>
                        <property name="gtk-show-unicode-menu" type="gboolean" readable="1" writable="1" 
construct="0" construct-only="0"/>
@@ -28536,6 +28551,12 @@
                                        <parameter name="widget" type="GtkWidget*"/>
                                </parameters>
                        </method>
+                       <method name="get_margin_end" symbol="gtk_widget_get_margin_end">
+                               <return-type type="gint"/>
+                               <parameters>
+                                       <parameter name="widget" type="GtkWidget*"/>
+                               </parameters>
+                       </method>
                        <method name="get_margin_left" symbol="gtk_widget_get_margin_left">
                                <return-type type="gint"/>
                                <parameters>
@@ -28548,6 +28569,12 @@
                                        <parameter name="widget" type="GtkWidget*"/>
                                </parameters>
                        </method>
+                       <method name="get_margin_start" symbol="gtk_widget_get_margin_start">
+                               <return-type type="gint"/>
+                               <parameters>
+                                       <parameter name="widget" type="GtkWidget*"/>
+                               </parameters>
+                       </method>
                        <method name="get_margin_top" symbol="gtk_widget_get_margin_top">
                                <return-type type="gint"/>
                                <parameters>
@@ -29398,6 +29425,13 @@
                                        <parameter name="margin" type="gint"/>
                                </parameters>
                        </method>
+                       <method name="set_margin_end" symbol="gtk_widget_set_margin_end">
+                               <return-type type="void"/>
+                               <parameters>
+                                       <parameter name="widget" type="GtkWidget*"/>
+                                       <parameter name="margin" type="gint"/>
+                               </parameters>
+                       </method>
                        <method name="set_margin_left" symbol="gtk_widget_set_margin_left">
                                <return-type type="void"/>
                                <parameters>
@@ -29412,6 +29446,13 @@
                                        <parameter name="margin" type="gint"/>
                                </parameters>
                        </method>
+                       <method name="set_margin_start" symbol="gtk_widget_set_margin_start">
+                               <return-type type="void"/>
+                               <parameters>
+                                       <parameter name="widget" type="GtkWidget*"/>
+                                       <parameter name="margin" type="gint"/>
+                               </parameters>
+                       </method>
                        <method name="set_margin_top" symbol="gtk_widget_set_margin_top">
                                <return-type type="void"/>
                                <parameters>
@@ -29730,8 +29771,10 @@
                        <property name="is-focus" type="gboolean" readable="1" writable="1" construct="0" 
construct-only="0"/>
                        <property name="margin" type="gint" readable="1" writable="1" construct="0" 
construct-only="0"/>
                        <property name="margin-bottom" type="gint" readable="1" writable="1" construct="0" 
construct-only="0"/>
+                       <property name="margin-end" type="gint" readable="1" writable="1" construct="0" 
construct-only="0"/>
                        <property name="margin-left" type="gint" readable="1" writable="1" construct="0" 
construct-only="0"/>
                        <property name="margin-right" type="gint" readable="1" writable="1" construct="0" 
construct-only="0"/>
+                       <property name="margin-start" type="gint" readable="1" writable="1" construct="0" 
construct-only="0"/>
                        <property name="margin-top" type="gint" readable="1" writable="1" construct="0" 
construct-only="0"/>
                        <property name="name" type="char*" readable="1" writable="1" construct="0" 
construct-only="0"/>
                        <property name="no-show-all" type="gboolean" readable="1" writable="1" construct="0" 
construct-only="0"/>
@@ -33872,7 +33915,7 @@
                <constant name="GTK_LEVEL_BAR_OFFSET_LOW" type="char*" value="low"/>
                <constant name="GTK_MAJOR_VERSION" type="int" value="3"/>
                <constant name="GTK_MAX_COMPOSE_LEN" type="int" value="7"/>
-               <constant name="GTK_MICRO_VERSION" type="int" value="1"/>
+               <constant name="GTK_MICRO_VERSION" type="int" value="2"/>
                <constant name="GTK_MINOR_VERSION" type="int" value="11"/>
                <constant name="GTK_PAPER_NAME_A3" type="char*" value="iso_a3"/>
                <constant name="GTK_PAPER_NAME_A4" type="char*" value="iso_a4"/>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]