我是新雇主使用的fvwm机器的新手。 我正在努力定制gvim菜单(文件,编辑等)字体大小。 正如您在附图中看到的那样,字体大小合适,但与文本字体大小相比,菜单大小非常小。
如何解决这个问题?
答案 0 :(得分:0)
如果主目录尚未出现,请在您的主目录中创建.gtkrc-2.0 并添加:
gtk-font-name = "bitstream bold 16"
这应该可以解决你的问题。
答案 1 :(得分:0)
gvim在gnome版本的gvim中使用gnome gtk,在这种情况下,您可以使用.gtkrc文件配置环境,请参见https://unix.stackexchange.com/questions/25043/what-is-this-gtkrc-file。为Gtk 2.x程序指出的另一个答案是 public static final Parameter<String> RETURN_VALUE = Internal.createParameter("RETURN_VALUE", org.jooq.impl.SQLDataType.JSON, false, false, com.ns.vertx.pg.converters.JooqJsonConverter.ofNullable(org.jooq.JSON.class, String.class, Object::toString, org.jooq.JSON.class::valueOf));
public GetAllOrders() {
super("get_all_orders", Public.PUBLIC, org.jooq.impl.SQLDataType.JSON, com.ns.vertx.pg.converters.JooqJsonConverter.ofNullable(org.jooq.JSON.class, String.class, Object::toString, org.jooq.JSON.class::valueOf));
setReturnParameter(RETURN_VALUE);
}
是配置文件。
要修改字体,请参见
示例:
~/.gtkrc-2.0
为您提供大小为12的Sans-Serif字体
gtk-font-name = "Sans 12"
有关字体的具体信息,并使用11号大小