貌似ibus一直不方便调节字号,有一个早已失效的gnome插件,后来我按照wiki上的方法修改ibus字号,但8月16日的更新后,wiki上的方法就不起作用了
https://extensions.gnome.org/extension/1121/ibus-font-setting/
https://wiki.archlinux.org/index.php/IBus_(简体中文)#修改_Gnome-shell_中_ibus_候选框的字体和字号
请问,有人遇到过吗,该如何解决
貌似ibus一直不方便调节字号,有一个早已失效的gnome插件,后来我按照wiki上的方法修改ibus字号,但8月16日的更新后,wiki上的方法就不起作用了
https://extensions.gnome.org/extension/1121/ibus-font-setting/
https://wiki.archlinux.org/index.php/IBus_(简体中文)#修改_Gnome-shell_中_ibus_候选框的字体和字号
请问,有人遇到过吗,该如何解决