我是否以正确的方式使用了 ConfigureEvent ?当我调整窗口大小或更改窗口位置时,没有任何反应,标签的文本不会像我预期的那样更改为“已更改”?
module Main =
open System
open Gtk
[<EntryPoint>]
let Main(args) =
Application.Init()
let win = new MainWindow.MyWindow()
// -----------------------------------------
let l = new Label( "None" )
win.Add l
win.ConfigureEvent.Add( fun _ ->
l.Text <- "Changed" )
// -----------------------------------------
win.ShowAll()
Application.Run()
0