小编Oli*_*sne的帖子

我是Vala/Gtk的新手,我正在尝试改变Gtk.Label的字体大小,但我找不到一个好方法.

我发现我可以使用这样的标记:

    var welcome_message = new Gtk.Label ("<span size='17000'>Hello</span>");
    welcome_message.set_use_markup (true);

但它似乎有点hackish.做正确的方法是什么？