相关疑难解决方法(0)

有没有一种简单的方法来改变GTK中文本元素的字体大小？现在,我能做的最好的事情就是set_markup在标签上做,有些傻话:

lbl.set_markup("<span font_desc='Tahoma 5.4'>%s</span>" % text)

这1)要求我设置字体,2)似乎需要很多开销(必须解析标记),3)会让改变按钮等字体大小变得烦人.有没有更好的办法？

我正在尝试在 GTK 中为我的标签添加 CSS 样式，但我不知道如何设置文件。我目前在开头添加了一个包含，但出现此错误：

我也不知道我是否正确实现了这一点，这对 GTK 编程来说非常新。有人可以帮我正确设置 CSS 实现吗？

#include<gtk/gtk.h>
public class MyApp : Gtk.Application {

  public MyApp() {
        Object (
              application_id: "com.github.omerntosi.gtkHangman",
              flags: ApplicationFlags.FLAGS_NONE
        );
  }

  protected override void activate() {
        var main_window = new Gtk.ApplicationWindow(this);
        main_window.set_default_size(1000,800);
        main_window.title = "GTK Hangman";

        var grid = new Gtk.Grid();
        grid.orientation = Gtk.Orientation.VERTICAL;
        grid.row_spacing = 6;

        var topHalf = new Gtk.Grid();
        topHalf.orientation = Gtk.Orientation.HORIZONTAL;
        grid.row_spacing = 6;

        var man = new Gtk.Image();
        man.set_from_file("../src/img/placeholder-500x350.png");
        topHalf.add(man);

        GtkCssProvider cssProvider = gtk_css_provider_new();
        gtk_css_provider_load_from_path(cssProvider, "style.css", NULL);
        gtk_style_context_add_provider_for_screen(gdk_screen_get_default(), …