XmingとEclipseを使用しても同じ問題があります。この問題を解決するには、 Workspace/.metadata/.plugins/*/dialog_settings.xml
を手動で編集できます .
次のようにして問題のある値を見つけることができます:
$ cd workspace/.metadata/.plugins
$ grep WIDTH */*.xml
or
$ grep HEIGHT */*.xml
これを行うと、小さすぎる/大きすぎる値を簡単に見つけることができます。
Xming は素晴らしい仕事だと思いますが、これを寄付しない個人的な理由があります。
私はそれに対するより良い解決策を見つけたようです.VcXsrvと呼ばれるXmingのオープンな代替手段があり、現在アクティブになっているようです.はい、最新バージョンでは問題なく子ウィンドウのサイズを変更できます。