我目前正在尝试将OCaml和GTK(使用lablgtk绑定)结合使用。然而,文档不是最好的,虽然我可以弄清楚如何使用大多数功能,但我无法更改笔记本页面(切换到不同的标签页)。
我找到了需要使用的函数,但我不知道如何使用它。文档似乎表明它在
此外,该函数的类型签名与我以前看到的任何类型签名都不同。
我认为它返回一个
有人有一些展示如何更改笔记本页面的示例代码吗?或者可以给我一些提示如何做到这一点?
我找到了需要使用的函数,但我不知道如何使用它。文档似乎表明它在
GtkPackProps.Notebook
的子模块中,但我不知道如何调用它。此外,该函数的类型签名与我以前看到的任何类型签名都不同。
val switch_page : ([> `notebook ], Gpointer.boxed option -> int -> unit) GtkSignal.t
我认为它返回一个
GtkSignal.t
,但我不知道如何将第一个参数传递给函数(括号中的整个部分)。有人有一些展示如何更改笔记本页面的示例代码吗?或者可以给我一些提示如何做到这一点?
source_notebook#S#switch_page
,还是GPack.notebook.S#switch_page
或其他方式? - a_m0dGtkPackProps.Notebook.S.switch_page
(#
代表方法,.
代表模块字段(函数或值))。 - Rémi