merge Honfika changes

This commit is contained in:
Jindra Pet��k
2014-01-02 19:03:53 +01:00
@@ -639,7 +639,7 @@ public final class MainPanel extends JPanel implements ActionListener, TreeSelec
previewSplitPane.addPropertyChangeListener(JSplitPane.DIVIDER_LOCATION_PROPERTY, new PropertyChangeListener() {
@Override
public void propertyChange(PropertyChangeEvent pce) {
if (splitsInited) {
if (splitsInited && previewSplitPane.getRightComponent().isVisible()) {
Configuration.guiPreviewSplitPaneDividerLocation.set((int) pce.getNewValue());
}
}