diff options
| author | Jens Georg <mail@jensge.org> | 2011-11-17 10:09:18 +0100 |
|---|---|---|
| committer | Jürg Billeter <j@bitron.ch> | 2011-11-30 15:01:54 +0100 |
| commit | 2cbd97026448e81bbf538c269accf1560cf0ed09 (patch) | |
| tree | f07461dbc13749c26e22a551391bcce30f9df36a | |
| parent | 86fc72628195a0a5d3a337c6033f63021601e9bd (diff) | |
| download | vala-2cbd97026448e81bbf538c269accf1560cf0ed09.tar.gz | |
gtk+-3.0: Adjustment in gtk_scale_new can be null
Fixes bug 664253.
| -rw-r--r-- | vapi/gtk+-3.0.vapi | 2 | ||||
| -rw-r--r-- | vapi/packages/gtk+-3.0/gtk+-3.0.metadata | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/vapi/gtk+-3.0.vapi b/vapi/gtk+-3.0.vapi index bc274f1a3..8e4692d25 100644 --- a/vapi/gtk+-3.0.vapi +++ b/vapi/gtk+-3.0.vapi @@ -3492,7 +3492,7 @@ namespace Gtk { [CCode (cheader_filename = "gtk/gtk.h")] public class Scale : Gtk.Range, Atk.Implementor, Gtk.Buildable, Gtk.Orientable { [CCode (has_construct_function = false, type = "GtkWidget*")] - public Scale (Gtk.Orientation orientation, Gtk.Adjustment adjustment); + public Scale (Gtk.Orientation orientation, Gtk.Adjustment? adjustment); public void add_mark (double value, Gtk.PositionType position, string? markup); public void clear_marks (); public int get_digits (); diff --git a/vapi/packages/gtk+-3.0/gtk+-3.0.metadata b/vapi/packages/gtk+-3.0/gtk+-3.0.metadata index 901980224..38ebcf13a 100644 --- a/vapi/packages/gtk+-3.0/gtk+-3.0.metadata +++ b/vapi/packages/gtk+-3.0/gtk+-3.0.metadata @@ -560,6 +560,7 @@ gtk_rc_get_style_by_paths.widget_path nullable="1" gtk_rc_get_style_by_paths.class_path nullable="1" gtk_rc_style_copy transfer_ownership="1" gtk_rc_style_create_style transfer_ownership="1" +gtk_scale_new.adjustment nullable="1" gtk_scale_add_mark.markup nullable="1" gtk_scale_button_new.icons is_array="1" no_array_length="1" gtk_scale_button_set_icons.icons is_array="1" no_array_length="1" |