1

我在两个 Ubuntu 系统（12.4、10.4）上使用 JEdit，并且遇到垂直拆分窗口的问题。

当我调整整个 JEdit 窗口的大小时，两个并排拆分窗格在一个系统 (10.4) 上按比例调整大小，但在另一个系统上，左窗格保持固定大小，对整个窗口宽度的所有更改仅应用于右窗格.

两者都是 JEdit v 4.4.2，都只有插件：jdiff 和 buffertabs。

是否有打开权重或比例调整大小的设置？

谢谢！

更新：这似乎与 JDiff 插件有关。打开然后关闭 jdiff 'dual diff' 后，比例调整大小停止工作。JDiff 使面板设置为相同的大小；当您关闭双差异时，原始比例会恢复，但比例调整大小会被破坏。

4

1 回答 1

1

这确实似乎是 JDiff 插件中的一个错误，它更改了 SplitPane 的某些属性，并且如果之前已经存在拆分，则不会恢复它。也许它毕竟不应该更改该属性，而是使用相同的设置进行比例调整。您应该将此报告给插件错误跟踪器：https : //sourceforge.net/tracker/?func=browse&group_id=588&atid=565475 作为一种解决方法，您可以取消拆分并重新拆分窗口，然后再次正确设置 SplitPane。

于 2013-05-22T14:02:40.093 回答