Created
June 4, 2024 06:41
-
-
Save lamg/df876aa36c8f9b3502005665883bad54 to your computer and use it in GitHub Desktop.
F# 🤝 GTK4
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #r "nuget: GirCore.Gtk-4.0,0.5.0" | |
| open System | |
| open Gtk | |
| let label () = | |
| let label = new Label() | |
| label.SetText "hello" | |
| label | |
| let button (label: Label) = | |
| let button = new Button() | |
| button.SetLabel "click me" | |
| let mutable counter = 0 | |
| let clickHnd (_: Button) (_: EventArgs) = | |
| label.SetText $"hello {counter}" | |
| counter <- counter + 1 | |
| button.add_OnClicked (new GObject.SignalHandler<Button>(clickHnd)) | |
| button | |
| let box () = | |
| let box = new Box() | |
| box.SetOrientation Orientation.Vertical | |
| box.SetHomogeneous true | |
| let l = label () | |
| box.Append l | |
| button l |> box.Append | |
| box | |
| let onActivateApp (sender: Gio.Application) (_: EventArgs) = | |
| let window = ApplicationWindow.New(sender :?> Application) | |
| window.Title <- "Gtk4 Window" | |
| window.SetDefaultSize(300, 300) | |
| window.SetChild(box ()) | |
| window.Show() | |
| let application = Application.New("org.gir.core", Gio.ApplicationFlags.FlagsNone) | |
| application.add_OnActivate (new GObject.SignalHandler<Gio.Application>(onActivateApp)) | |
| application.RunWithSynchronizationContext(null) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment