X11を使用してGNOME 44のタイトルバーサイズを変更する

X11を使用してGNOME 44のタイトルバーサイズを変更する

私は現在、X11でFedora 38とGNOME 44を使用しています。特定のウィンドウのタイトルバーが非常に小さいです。例は次のとおりです。 ここに画像の説明を入力してください。

私のラップトップの画面解像度は非常に高いので、これは200%拡張による問題かもしれないと思います。 X11を再起動すると、この問題は解決するようですが、毎回X11サーバーを再起動する必要がないソリューションを探したいと思います。始める。フォントサイズを変更してみましたが、役に立ちませんでした。フォントサイズには何の影響もないようです。既知の解決策がありますか?

編集:問題が見つかりました。 JavaがGUIスケールを認識していないようです。スイングアプリにも同じ問題があります。 GDK_SCALEとsun.java2d.uiScaleを使用するとコンテンツに機能しますが、タイトルバーはまだ小さいです。

関連情報