Fixes bug 624442.
}
[CCode (cheader_filename = "gtk/gtk.h")]
public class Scale : Gtk.Range, Atk.Implementor, Gtk.Buildable, Gtk.Orientable {
- public void add_mark (double value, Gtk.PositionType position, string markup);
+ public void add_mark (double value, Gtk.PositionType position, string? markup);
public void clear_marks ();
public int get_digits ();
public bool get_draw_value ();
public class Scale : Gtk.Range, Atk.Implementor, Gtk.Buildable, Gtk.SizeRequest, Gtk.Orientable {
[CCode (type = "GtkWidget*", has_construct_function = false)]
public Scale (Gtk.Orientation orientation, Gtk.Adjustment adjustment);
- public void add_mark (double value, Gtk.PositionType position, string markup);
+ public void add_mark (double value, Gtk.PositionType position, string? markup);
public void clear_marks ();
public int get_digits ();
public bool get_draw_value ();
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_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"
gtk_scale_draw_value hidden="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_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"
gtk_scale_draw_value hidden="1"