というアプリケーションをインストールしました。天才エディタは組み込まれていますが、デフォルト設定でフォントを変更するオプションはありません(デフォルトのフォントサイズは非常に小さいです)。作家に連絡したらこう言いましたね。
今は選択の余地はありません。これはGtkSourceViewで使用されている標準フォントを使用しますが、私の考えでは標準のGNOME固定幅フォントなので、gnome設定でこれを変更するとGeniusにも影響します。
しかし、私はGnomeではなくXfce(Xubuntu)を使用していますが、設定/外観/フォントでフォントを変更しても効果はありません。他のGnomeアプリケーション(Abiword、Gnumeric)がインストールされており、Google検索でGnomeアプリケーションの設定を変更しているように見える「gsettings」が表示されました。 gsettingsがインストールされましたが、使用方法に関する多くの情報が見つかりませんでした。 gsettingsを使ってGeniusのフォントサイズを変更できますか?では、どのように変更しますか?それとも別の方法がありますか?