1

我想要更大的文字，但不知道如何。（我发现Label有一个attributestype 属性，PangoAttrList但不知道如何在可以在小部件上设置的上下文中构造后者（如果确实是这样设置字体大小的）Label。）

一个最小的例子如下：

#!/usr/bin/env cabal
{- cabal:
build-depends:
  , base ^>= 4.13
  , gi-gtk
  , gi-gtk-declarative
  , gi-gtk-declarative-app-simple
ghc-options:
  -Wall
  -threaded
-}

{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE OverloadedLists #-}
{-# LANGUAGE OverloadedStrings #-}

import Data.Void (absurd)

import qualified GI.Gtk as Gtk hiding ((:=), on)
import qualified GI.Gtk.Declarative as Gtk
import qualified GI.Gtk.Declarative.App.Simple as Gtk

main :: IO ()
main = () <$ Gtk.run Gtk.App
  { Gtk.view = \ () ->
        Gtk.bin Gtk.Window [#title Gtk.:= "example"] $
        Gtk.widget Gtk.Label [#label Gtk.:= "foobar" {- What should be here? -}]
  , Gtk.update = \ () -> absurd
  , Gtk.inputs = []
  , Gtk.initialState = ()
  }
4

0 回答 0