1

2つのUbuntuシステム（12.4、10.4）でJEditを使用していますが、ウィンドウの垂直分割に問題があります。

JEdi​​tウィンドウ全体のサイズを変更すると、一方のシステム（10.4）では2つの横に並んだ分割ペインのサイズが比例して変更されますが、もう一方のシステムでは、左側のペインは固定サイズのままで、ウィンドウ全体の幅に対するすべての変更は右側のペインにのみ適用されます。 。

どちらもJEditv4.4.2であり、どちらにもプラグイン（jdiffとbuffertabs）しかありません。

均等化または比例サイズ変更をオンにする設定はありますか？

ありがとう！

更新：これはJDiffプラグインに関連しているようです。jdiff'dual diff'をオンにしてからオフにすると、比例サイズ変更は機能しなくなります。JDiffにより、パネルが同じサイズに設定されます。デュアル差分をオフにすると、元のプロポーションは復元されますが、プロポーショナルサイズ変更は壊れます。

4

1 に答える 1

1

これは確かに、SplitPaneの一部のプロパティを変更し、以前に分割があった場合は復元しないJDiffプラグインのバグのようです。結局、そのプロパティを変更するべきではないかもしれませんが、比例サイズ変更には同じ設定を使用してください。これをプラグインバグトラッカーに報告する必要があります：https ： //sourceforge.net/tracker/？func = browser＆group_id = 588＆atid = 565475回避策として、ウィンドウを分割解除して再分割するだけで、SplitPaneが再び正しくセットアップされます。

于 2013-05-22T14:02:40.093 に答える