···

       
1
       
1
       
+
       
diff --git a/src/ml_gtk.c b/src/ml_gtk.c

     

       
2
       
2
       
+
       
index deb1b4c7a9..0dcc104e6f 100644

     

       
3
       
3
       
+
       
--- a/src/ml_gtk.c

     

       
4
       
4
       
+
       
+++ b/src/ml_gtk.c

     

       
5
       
5
       
+
       
@@ -233,7 +233,7 @@ ML_2 (gtk_style_context_add_class, GtkStyleContext_val, String_val, Unit)

     

       
6
       
6
       
+
       
 ML_2 (gtk_style_context_remove_class, GtkStyleContext_val, String_val, Unit)

     

       
7
       
7
       
+
       
 ML_2 (gtk_style_context_has_class, GtkStyleContext_val, String_val, Val_bool)

     

       
8
       
8
       
+
       
 CAMLprim value ml_gtk_style_context_list_classes(value ctx)

     

       
9
       
9
       
+
       
-{ return Val_GList(gtk_style_context_list_classes(GtkStyleContext_val(ctx)), Val_string); }

     

       
10
       
10
       
+
       
+{ return Val_GList(gtk_style_context_list_classes(GtkStyleContext_val(ctx)), (value_in)Val_string); }

     

       
11
       
11
       
+
       
 

     

       
12
       
12
       
+
       
 /* gtkdata.h */

     

       
13
       
13
       
+
       
 

     

···

       
24
       
24
       
 
       
  "ocamlfind" { dev                 }

     

       
25
       
25
       
 
       
  "camlp5"    { dev                 }

     

       
26
       
26
       
 
       
]

     

       
27
       
27
       
+
       
patches: ["ml_gtk.c.diff"]

     

       
27
       
28
       
 
       


     

       
28
       
29
       
 
       
build: [

     

       
29
       
30
       
 
       
  [ "dune" "subst"] {dev}

     
···

       
31
       
32
       
 
       
]

     

       
32
       
33
       
 
       
run-test: [

     

       
33
       
34
       
 
       
  [ "dune" "build" "-p" name "-j" jobs "examples/buttons.exe" ]

     

       
35
       
35
       
+
       
]

     

       
36
       
36
       
+
       
extra-files: [

     

       
37
       
37
       
+
       
  [ "ml_gtk.c.diff" "md5=ad9e468e33ae3a1e234238df088f784e" ]

     

       
34
       
38
       
 
       
]

     

       
35
       
39
       
 
       
url {

     

       
36
       
40
       
 
       
  src: